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: ci'ai'u [jbovlaste] Type: experimental cmavo (YOU RISK BEING MISUNDERSTOOD IF YOU USE THIS WORD) Gloss Word: integer interval Gloss Word: natural number interval Gloss Word: n-set selma'o: VUhU Definition: Mekso unary or binary operator: $n$-set or integer interval; in unary form, it maps a nonnegative integer $X_1 = n$ to the set $\1, \dots , n\$ (fully, officially, and precisely: the intersection of (a) the set of exactly all positive integers with (b) the closed ordered interval [$1, n$] such that $n \geq 1$; see notes for other $n$); in binary form, it maps ordered inputs $(X_1, X_2) = (m, n)$ to the intersection of (a) the set of exactly all integers with (b) the closed ordered interval [$m, n$]. Notes: $0$ on its own induces the unary form of this word and thus maps to the empty set ∅. Inputting infinity (for the unary form) produces the set of exactly all positive integers (sometimes also onown as: natural numbers), $Z^+ = N$. The upper bound is always specified; when the lower bound is not specified, it defaults to $1$ and the upper bound must equal or exceed $1$ (else the output is ∅). If this word is represented by $f$, and $Z$ represents the set of exactly all integers, and $(n, m \in Z \cup$ Set$(\pm \infty$)$: m \leq n)$, then: $f(m, n) = Z \cap [m, n]$, and furthermore: if $1 \leq n$, then $f(n) = f(1, n) = Z \cap [1, n]$, else $f(n) =$ ∅. The definition extends naturally (and with only trivial modification) to non-integer real-valued $n, m$, but it is recommended to keep them as integers when possible. $Z$ excludes $\pm \infty$.