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.