Словарь по логике

Эквивалентность: Бинарное отношение называется отношением эквивалентности оно рефлексивно, симметрично, транзитивно.