Так, по улике:
сама улика - это твроческое описание следующих свойств отношений на множестве (https://ru.wikipedia.org/wiki/Бинарное_отношение)

1)Рефлексивность
2)Симметричность
3)Транзитивность