👉 In the context of mathematics, "ordalian" refers to an algebraic structure where a binary operation is defined such that for any two elements x and y in this structure, there exists a third element z such that:
x
y = z
(x + y)
This property is known as associativity. The set of all such structures, together with the operations, forms a category called the "algebraic theory of ordinals." In mathematics, this theory has applications in areas like