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 kei'i
type experimental cmavo
creator krtisfranks
time entered Wed Dec 24 22:33:07 2014
[View Comments For This Word]

Definition #63968 - Preferred [edit]
selma'o KEIhI
definition non-logical connective/mekso operator - of arity only 1 xor 2: set (absolute) complement, or set exclusion (relative complement). Unary: X1C; binary: X1 - X2.
notes In the definition and in this note, due to parsing constraints, "-" represents set exclusion; this is typically denoted as a backslash elsewhere. Each input must be a set or similar. The definition of the binary case expands to "the set of all elements which are in X1 but not in X2". This word and operator has ordered input: 'X1 kei'i X2' is not generally equivalent to 'X2 kei'i X1'; in other words, the operator is not commutative. If unary (meaning that X1 is not explicitly specified in a hypothetical expression "X1 - X2"), then X1 is taken to be some universal set O in/of the discourse (of which all other mentioned sets are subsets, at the least); in this case, the word operates as the set (absolute) complement of the explicitly mentioned set here (but not in the definition) designated as X2 for clarity (id est: the output is O - X2 = X2C, where "C" denotes the set absolute complement; in other words, it is the set of all elements which may be under consideration such that they are not elements of the explicitly specified set). When binary with both X1 and X2 explicitly specified, this word/operator is the set relative complement. Somewhat analogous to logical 'NOT' (just as set intersection is analogous to logical 'AND', and set union is analogous to logical '(AND/)OR'). The preferred description/name in English is "set (theoretic) exclusion". For reference: https://en.wikipedia.org/wiki/Complement_(set_theory) .
gloss words
created by krtisfranks
vote information 1
time Thu Apr 26 03:27:00 2018
[View Comments For This Definition]


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?