efklizu

valsi

efklizu

type

fu'ivla

creator

krtisfranks

time entered

Mon Feb 1 07:56:44 2021  

English

Definition #72410 - Preferred

 

definition

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

notes

Definitionally, x₁ is a possibly-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 (b, a) in R and (c, a,) in R, then (b, c) in R and (c, b) in R. See also: "takni", ".efklipi".

gloss words

• Euclidean relation ; left-Euclidean
• left-Euclidean relation

created by

krtisfranks

vote information

1

time

Mon Feb 1 07:56:44 2021

Examples

---