Terms for subject Information technology containing proper

English	Russian
proper name	имя собственное
proper program	подходящая программа
proper program	рациональная программа (без тупиков и бесконечных циклов)
proper subset	строгое подмножество
proper value	характеристическое число