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 vei'o
type cmavo
creator krtisfranks
time entered Mon Jan 9 08:50:08 2023

Definition #73113 - Preferred [edit]
selma'o VUhU3
definition binary mekso operator: form quotient space X1/X2.
notes This word generates/outputs quotient space Q = X1/X2. X1 is an algebraic structure. X2 is a subset of the set underlying X1 such exactly and all of the elements of X2 are those elements which are treated as equalling the relevant identity element (0) in Q (when there is ambiguity, then 0 is the additive identity element in Q). X2 is the equivalence class of 0 in Q; thus, X2 can also be denoted by an equivalence relation. Closely related to "vei'e", "vei'u".
gloss words
created by krtisfranks
vote information 1
time Mon Jan 9 08:52:32 2023


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?