👉 In mathematics, an ordain is a function or relation that assigns to each element in a set at least one argument. The set of all ordains on a given set S is denoted by Ord(S). This means that for any two elements x and y in S, there exists exactly one ordain (x,y) such that x ≤ y. For example, the set {1, 2} has three ordains: 1 ≤ 2, 2 ≤ 3,
