Discrete-math 9
Existence of equivalence relation based on partition (continued) theorem
Fact
Example
Partial ordering relation definition
Total ordering relation (linear) definition
Example - “Divides” relation
Example - “Lexicographic order” relation