a lojban dictionary editing system

Get A Printable Dictionary
Search Best Words
Recent Changes
How You Can Help
valsi - All
valsi - Preferred Only
natlang - All
natlang - Preferred Only
XML Export
user Listing
Report Bugs
Admin Request
Create Account
Dictionary record
Back to the main valsi listing.
valsi du'a'e
type experimental cmavo
creator krtisfranks
time entered Thu Apr 7 02:46:51 2016

Definition #68580 - Preferred [edit]
selma'o VUhU
definition mekso n-ary ordered operator: structure creator/ordered tuple, 'endow'; the structure formed by underlying set X1 (as) endowed with element, order, quoted operator, etc. X2, X3, ...
notes Operators or symbolic orderings (rather than a description thereof) must be submitted via mau'au-zai'ai quotes. Usually, X1 must be included; X1 must be a set. Definitions and axioms must be defined elsewhere. An operator or ordering which is undefined on the set X1 produces a trivial structure (one which is identical to that which is formed if this operator/ordering were not included at all). Terminated by ku'e. See also: du'a'o (a sorta inverse).
gloss words
created by krtisfranks
vote information 1
time Thu Apr 7 02:57:54 2016


Example #1:

"li tei ce'a .fraktur. bu tau gy foi du ca'e li pe'o du'a'e tau gy boi mau'au ru'ei zai'ai ku'e" = "Fraktur-G = (G,*)", where "G" is an underlying set (say, of natural numbers) and "*" is a group operator - thus Fraktur-G is a group (but G is not)

(by krtisfranks) [edit]

krtisfranks{dunda}; ending chosen for binary relationship with {du'a'o}.[edit]
Currently, jbovlaste will accept data for 69 languages.
You are not logged in.

  recent changes jbovlaste main
This is jbovlaste, the lojban dictionary system.
The main code was last changed on Wed 07 Oct 2020 05:54:55 PM PDT.
All content is public domain. By submitting content, you agree to place it in the public domain to the fullest extent allowed by local law.
jbovlaste is an official project of the logical language group, and is now headed by Robin Lee Powell.
E-mail him if you have any questions.
care to log in?