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 faunjdikpe
type fu'ivla
creator krtisfranks
time entered Mon May 16 17:15:40 2016

Definition #68660 - Preferred [edit]
definition x1 (function) is the restriction of function x2 to domain set x3
notes x3 should normally be a (strict) subset of the domain set of x1; however, for generality, any set is allowed, but x1 will be undefined everywhere except on/in the intersection of x3 with the domain set of x2. Outside of x3, x1 is undefined, even if x2 is. In/on x3, x1 and x2 are identically equal everywhere. x2 is a specific extension of x1. For the sense of restriction in which, instead of being undefined outside of x3, x1 is identically equal to the zero element of the space on the set exclusion of the domain of x2 lacking x3 (and which is undefined everywhere not in the domain set of x2), try to use a product of a zdeltakronekre function with x2, which will be defined on the intersection of their two domain sets and will identically be 0 or x2 as specified. Be careful, concerning x3, when the domain set of x2 is the Cartesian product (pi'u) of sets; for example, R is not a subset of R2, even if it is isomorphic to one (actually, uncountably infinitely many in this case).
gloss words
created by krtisfranks
vote information 1
time Mon May 16 10:15:40 2016


krtisfranks{fancu} + {jdika} + {pe} (the lattermost being representative of all restrictive particles, which usually begin with "p" in Lojban)[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 Sun Nov 15 18:45:23 PST 2015.
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?