По улике, если бы эта картинка была разгадкой улики, матемаг бы не менял текст улики посреди обсуждения! Он добавил частицу 'не' и это изменило название второго отношения, но загуглить "бинарные отношения" мы могли и без этой частицы! Значит улика не так расшифровывается