zmaraimecna'u

valsi

zmaraimecna'u

type

lujvo

creator

krtisfranks

time entered

Mon Aug 11 21:08:04 2014  

English

Definition #57218 - Preferred

 

definition

x₁ (number) is the infimum of set x₂ under (partial) ordering x₃

notes

x2 must be a set; although it is standard (and lazy) mathematical practice to speak of "the infimum of a function" (including sequences) in some domain or to constrain the infimum with respect to certain variables in some way, all of these features can and ought to be constraints defining the set of which the infimum is taken; in Lojban, no leeway is given toward such sloppiness. See also: mecraizmana'u, nacmecrai.

gloss words

• inf ; infimum
• infimum

created by

krtisfranks

vote information

2

time

Mon Aug 11 21:22:56 2014

Examples

---