efklipi

valsi

efklipi

type

fu'ivla

creator

krtisfranks

time entered

Mon Feb 1 07:45:19 2021  

English

Definition #72409 - Preferred

 

definition

x₁ is a binary relation which is right-Euclidean on space/set/under conditions x₂.

notes

Definitionally, x₁ is an ordered binary relation given by set R such that for all a, b, c in x₂ (if such makes sense; else: the universe of discourse restricted by x₂), if (a, b) in R and (a, c) in R, then (b, c) in R and (c, b) in R. See also: "takni", ".efklizu".

gloss words

• Euclidean relation ; right-Euclidean
• right-Euclidean relation

created by

krtisfranks

vote information

1

time

Mon Feb 1 07:48:21 2021

Examples

---