Inequalities, Terminology

Summary

• Reflexivity: $a≤a$
• Antisymmetry: if $a≤b$ and $b≤a$ then $a=b$
• Transitivity: if $a≤b$ and $b≤c$ then $a≤c$
• Totalness: either $a≤b$ or $b≤a$ (or both)

Lecture coming soon.