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