в продолжение вчерашнего раскура:
Улика->Рефлексивность, антисимметричность, транзитивность->Бинарные отношения->
бинарный - двоичный, представленный элементами всего двух видов; предполагающий наличие двух компонентов

Если отойти от подмножеств всяких, то это "отношения двух видов", ищем такие в профилях и находим: Король и шут любимая музыка Кусь.
Отношения двух видов? Да, Королей и шутов. Виды разные, отношения есть.
Довольно умная улика, в стиле Матемага.

Гадаем Боцмана? Табличка есть у кого?