Lattice

Overview


Axioms


  1. Reflexivity
    {% a \leq a %}
  2. Anti-Symmetry
    {% a \leq b, b \leq a \rightarrow a=b %}
  3. Transitivity
    {% a \leq b, b \leq c \rightarrow a \leq c %}


A lattice is totally ordered if
{% a \leq b \, or \, b \leq a %}

Contents