The Logical Language Group Online Dictionary Query |
There are specific tools that make searching this database easier:
la sutysisku dictionary, an offline enabled web app
la vlasisku search engine for the Lojban dictionary
From Lojban to English :
Word: panryzilbri [jbovlaste] Type: lujvo Gloss Word: equivalence relation: emphasizes the relation over its features/the structure involved in the sense of "mathematical" Gloss Word: equivalence class partitioning: the equivalence relation inducing the partitions in the sense of "mathematical" Definition: $x1$=$b2$=$p3$ is a (predicate) equivalence relationship/similarity/parallel with/between/among arguments (sequence(s)/set(s)) $x2$=$b3$=$p1$=$p2$, partitioning (with only empty intersection) set/structure $x3$=$p4$; elements of $x2$ are mutually similar in property $x1$ within structure $x3$; $x3$ is partitioned by $x1$ into equivalence classes (including) $x2$; Notes: An equivalence relation is reflective, symmetric, and transitive. Likewise for the first two terbri of panra. Therefore, order of x2 is unimportant. See also: panra, panrykle, terpanryziltolju'i