Контроль принадлежности значений множеству [checking an accesories of value to ensemble] — метод информатики для установления принадлежности получаемых при вычислении значений конкретному множеству значений для обеспечения надежности процесса формирования конструкций из языковых примитивов; К.п.з.м. — это также приемы синтаксического и семантического описания типов и подтипов, их атрибутов и допустимых операций над ними.
[Словарь понятий по информатике от И до М (Электронный ресурс). Режим доступа: http:// asemenov77.narod.ru›slovim.html /, свободный.]