 Home
 Get A Printable Dictionary
 Search Best Words
 Recent Changes
 How You Can Help
 valsi  All
 valsi  Preferred Only
 natlang  All
 natlang  Preferred Only
 Languages
 XML Export
 user Listing
 Report Bugs
 Utilities
 Status
 Help
 Admin Request
 Create Account

valsi 
kei'i 
type 
experimental cmavo 
creator 
krtisfranks 
time entered 
Wed Dec 24 22:33:07 2014 
[View
Comments For This Word]
Examples


English


Definition #63968
 Preferred
[edit]


selma'o 
KEIhI 
definition 
nonlogical connective/mekso operator  of arity only 1 xor 2: set (absolute) complement, or set exclusion (relative complement). Unary:
X_{1}^{C}; binary: X_{1}  X_{2}.

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 X_{1} but not in X_{2}". This word and operator has ordered input: 'X_{1} kei'i X_{2}' is not generally equivalent to 'X_{2} kei'i X_{1}'; in other words, the operator is not commutative. If unary (meaning that X_{1} is not explicitly specified in a hypothetical expression "X_{1}  X_{2}"), then X_{1} 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 X_{2} for clarity (id est: the output is
O  X_{2} = X_{2}^{C}, 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 X_{1} and X_{2} 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 
Wed Apr 25 20:27:00 2018 

[View
Comments For This Definition] 

Examples




