lojbo jufsisku
Lojban sentence search

Total: 3 result(s)
mecraizmana'u
lujvo x1 (number) is the supremum of set x2 under (partial) ordering x3 x2 must be a set; although it is standard (and lazy) mathematical practice to speak of "the supremum of a function" (including sequences) in some domain or to constrain the supremum with respect to certain variables in some way, all of these features can and ought to be constraints defining the set of which the supremum is taken; in Lojban, no leeway is given toward such sloppiness. See also: zmaraimecna'u, nacyzmarai.
zmaraimecna'u
lujvo x1 (number) is the infimum of set x2 under (partial) ordering x3 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.
nacyzmarai
lujvo x1 (number) is the greatest element/maximum of the set (of numbers) x2 under (partial) ordering x3 x1 must be a set. If this word is being used as a function (max), common but lazy mathematical practice allows for speaking of "the maximum of a function" (including sequences) or to constrain the maximum with respect to certain variables, but these constraints can and properly ought to be incorporated into the definition of the set of which the maximum is being taken. This word is not limited to purely mathematical usage and the set can be defined loosely (such as in "the maximum number of people whom I permit to be invited" wherein the set x2 is understood to be the set of the possible acceptable numbers of guests allowed by the speaker). The maximum x1 must belong to set x2; compare with: mecraizmana'u (supremum). See also: nacmecrai.