Ordering cheat sheet
Non-strict orders: ≤ The symbol ≤ denotes a generalization of “less than or equal”, and it defines either a partial or total ordering over a set P (in the table below a,b ∈ P): Constraint (Non-strict) partial order (Non-strict) total order Reflexivity: a ≤ a x x Antisymmetry: if a ≤ b and b ≤ …