In de wiskunde is een euclidische relatie of euclidiciteit een tweeplaatsige relatie die voldoet aan een gewijzigde vorm van transitiviteit en die een formalisering inhoudt van de relatie die door Euclides is beschreven in het eerste axioma van De Elementen: 'Wat aan hetzelfde gelijk is, is ook aan elkaar gelijk. Wikipedia