Рассматривается формальное уточнение операции пересечения спецификаций классов. Спецификация классов уточняется как пара соответствующих функциональных бинарных отношений. Пересечение спецификаций классов уточняется как теоретико-множественное пересечение соответствующих бинарных отношений (функций)