Евклидово отношение — бинарное отношение на множестве , для которого из нахождения элемента в отношении с двумя элементами (в том числе могут совпадать с ) следует, что эти два элемента тоже находятся в отношении друг друга.
Формально, бинарное отношение евклидово, если .
Название отношение получило по аналогии с первой аксиомой из «Начал» Евклида: равные одному и тому же равны и между собой.
Связь с другими свойствами отношений Евклидово отношение не обязательно транзитивно, а транзитивное отношение не обязательно евклидово. Рефлексивное симметричное отношение является евклидовым тогда и только тогда, когда оно транзитивно.
Категория:Математические отношения