(computer science) A function that takes one or more functions as an input, and returns a function as a result.

Alternative spelling of stop loss order

(logic) A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.

A legally binding directive—issued by a court of law, legislature, or other authority—that requires workers who are engaging in a strike or similar labor action to return to work.

(Catholicism) The religious order of friars established by St Francis of Assisi.

plural of ℝ-order tree

(topology) An order tree whose segments are homeomorphic to segments of the real line and that is the union of countably many segments.

plural of Anton Piller order

plural of partial ordering relation

plural of total ordering relation