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 ki'irgrafu
type lujvo
creator krtisfranks
time entered Fri Feb 17 21:47:44 2017

Definition #69338 - Preferred [edit]
definition x1 is a relation space formed from elements/nodes in set x2 and relationship x3 which connects them.
notes x1 is a space/directed graph/set of ordered n-tuples which is formed from the endowment of of a space/set (of possible nodes) x2 with the relationship x3 which is n-ary. Suppose that x2 is binary; let y and z be elements in x2 and denote x3 by "R" so that "a R b" means that R relates 'a' to 'b' in that order (not necessarily the reverse); then: if y R z, then (y,z) is an element in x1. In other words, x1 is the set of exactly all ordered edges between members of x2 (which are nodes/endpoints of members of x1), which are formed iff R relates those members in the order indicated by the direction of the edge (source then destination; first term, then second term) when R is binary. Greater arity is possible (in which case ordered n-tuples become useful and edges scale up dimensionally). x1 is the set of all ordered relationships in x2 formed by x3. One valjvo of this word is an experimental gismu: grafu.
gloss words
created by krtisfranks
vote information 1
time Sun Sep 9 06:32:00 2018


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?