utkaje

valsi

utkaje

type

fu'ivla

creator

krtisfranks

time entered

Thu Mar 7 04:45:14 2019  

English

Definition #71314 - Preferred

 

definition

x₁ and x₂ are path-linked by directed binary predicate x₃ (ka) via intermediate steps x₄ (ordered list; ce'o) in graph x₅, such that (in the graph x₅) both (A) no other node exists to which x₂ is connected in/by the same way/direction/relation and (B) no other node exists to which x₁ is connected in/by the opposite/(anti)symmetric/reversed way/direction/relation.

notes

Equivalent to " MATH

$x_1 \, x_2$

x₁ x₂ fo MATH

$x_4 \, x_5$

x₄ x₅ .utkaro fi x₃ gi'e se .utkaro fi MATH

$x_<a class="undefined" href="../dict/3?bg=1;langidarg=2">3</a>^<a class="undefined" href="../dict/-1?bg=1;langidarg=2">-1</a>$

x₃^-1", where MATH

$x_<a class="undefined" href="../dict/3?bg=1;langidarg=2">3</a>^<a class="undefined" href="../dict/-1?bg=1;langidarg=2">-1</a>$

x₃^-1 is binary relation/predicate x₃ with the order of its two arguments exchanged (basically: "se"-converted). Multiple paths may connect x₁ and x₂. There may be peripheral branches extending from x₂ which are acyclic (or cyclic) such that they contain a node which has a directed distance from x₂ which exceeds that of any path from x₁ to x₂; it is just the case that for any path connecting x₁ and x₂ in either direction, x₁ and x₂ are root/leaf nodes thereof.

gloss words

• path connection with two endpoints

created by

krtisfranks

vote information

1

time

Fri Jan 15 03:36:41 2021

Examples

---