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: mecraizmana'u [jbovlaste] Type: lujvo Gloss Word: supremum Gloss Word: sup in the sense of "supremum" Definition: x1 (number) is the supremum of set x2 under (partial) ordering x3 Notes: x2 must be a set; although it is standard (and lazy) mathematical practice to speak of "the supremum of a function" (including sequences) in some domain or to constrain the supremum with respect to certain variables in some way, all of these features can and ought to be constraints defining the set of which the supremum is taken; in Lojban, no leeway is given toward such sloppiness. See also: zmaraimecna'u, nacyzmarai.