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.


In notes:

mecraizmana'u
x1 (number) is the supremum of set x2 under (partial) ordering x3
nacmecrai
x1 (number) is the least element/minimum of the set (of numbers) x2 under (partial) ordering x3
trajmaumce
x1 (li) is an extremal bound (supremum/infimum/possibly-unattained extremum (loose sense in English)/asymptote (one sense)/best possible bound (one sense)) on set x2 (set) in direction x3 (li) in ordered structure x4; x1 bounds x2 tightly/maximally-strongly from the x3 side in x4; x2 is bounded from the x3 side by x1 and any other bound on that side is worse than is x1.