Евклидово отношение: различия между версиями

[непроверенная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
исправление
отклонено последнее 1 изменение (Oggesus)
Метка: ручная отмена
 
Строка 3:
Формально, бинарное отношение <math>R</math> евклидово, если <math>\forall x,y,z\in X (xRy\land xRz\Rightarrow yRz)</math>.
 
Название отношенияотношение получило по аналогии с первой аксиомой из [[Начала Евклида|«Начал» Евклида]]: равные одному и тому же равны и между собой.
 
== Связь с другими свойствами отношений ==