Ответ:

Вопрос и математические обозначения справа обрезаны. По видимому фрагменту нельзя определить, какие объекты или отношения требуется проверить. Пришлите полное условие примера 7.