Полный англо-русский словарь
Функция соответствия (формальная характеристика степени соответствия модуля его спецификации)