[[!redirects order theory]] [[!redirects Order theory in HoTT]] < [[nlab:order theory]] ### Order theory ### * [[preorder]] * [[join-semilattice]] * [[meet-semilattice]] * [[lattice]] * [[order]]