Множество А представляет собой совокупность всех прямых данной плоскости

А) Рефлексивность:
Бинарное отношение на множестве рефлексивное, если для всякого выполняется . Бинарное отношение на множестве А определяет пары перпендикулярных прямых отношение не рефлексивно.
b) Симметричность:
Бинарное отношение на множестве симметричное, если из выполнения следует, что , т.е . из принадлежности отношению пары следует принадлежность этому отношению также пары .
Бинарное отношение на множестве А определяет пары перпендикулярных прямых отношение симметрично.
c) Транзитивность:
Бинарное отношение на множестве транзитивное, если из выполнения и следует выполнение .
Бинарное отношение на множестве А определяет пары перпендикулярных прямых отношение не транзитивно.
Так как отношение не рефлексивно, симметрично и не транзитивно, следовательно, оно не является отношением эквивалентности.