View source for efklizu

==== valsi ====
efklizu
==== type ====
fu'ivla
==== creator ====
[[personal/krtisfranks|krtisfranks]]
==== time entered ====
Mon Feb  1 07:56:44 2021
 
== English ==
=== Definition #72410 - Preferred ===
 
==== definition ====
x<sub>1</sub> is a binary relation which is left-Euclidean on space/set/under conditions x<sub>2</sub>.
==== notes ====

Definitionally, <span class="MATH"><i>x</i><sub>1</sub></span> is a possibly-ordered binary relation given by set <span class="MATH"><i>R</i></span> such that for all <span class="MATH"><i>a</i>, <i>b</i>, <i>c</i></span> in <span class="MATH"><i>x</i><sub>2</sub></span> (if such makes sense; else: the universe of discourse restricted by <span class="MATH"><i>x</i><sub>2</sub></span>), if <span class="MATH">(<i>b</i>, <i>a</i>)</span> in <span class="MATH"><i>R</i></span> and <span class="MATH">(<i>c</i>, <i>a</i>,)</span> in <span class="MATH"><i>R</i></span>, then <span class="MATH">(<i>b</i>, <i>c</i>)</span> in <span class="MATH"><i>R</i></span> and <span class="MATH">(<i>c</i>, <i>b</i>)</span> in <span class="MATH"><i>R</i></span>. See also: "[[takni|takni]]", ".[[efklipi|efklipi]]".

==== gloss words ====

<ul><li>[[natlang/en/Euclidean relation|Euclidean relation ; left-Euclidean]]</li><li>[[natlang/en/left-Euclidean relation|left-Euclidean relation]]</li></ul>

==== created by ====
[[personal/krtisfranks|krtisfranks]]
==== vote information ====
1
     
==== time ====
Mon Feb  1 07:56:44 2021



<br/><font size="+1">Examples</font>
<hr/>
<dl>
</dl>

=== Etymology ===