x_{1} (number) is the supremum of set x_{2} under (partial) ordering x_{3}

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.

- nacyzmarai
- x
_{1}(number) is the greatest element/maximum of the set (of numbers) x_{2}under (partial) ordering x_{3} - zmaraimecna'u
- x
_{1}(number) is the infimum of set x_{2}under (partial) ordering x_{3} - trajmaumce
- x
_{1}(li) is an extremal bound (supremum/infimum/possibly-unattained extremum (loose sense in English)/asymptote (one sense)/best possible bound (one sense)) on set x_{2}(set) in direction x_{3}(li) in ordered structure x_{4}; x_{1}bounds x_{2}tightly/maximally-strongly from the x_{3}side in x_{4}; x_{2}is bounded from the x_{3}side by x_{1}and any other bound on that side is worse than is x_{1}.