411 REFERENCE · Wikibooks
Order Theory/Lattices
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Definition and characterisation
lattice Let be an ordered set. is called a lattice if and only if any two elements have both a join and a meet.
algebraic lattice Let be any set, and let and be two functions. is called an algebraic lattice if and only if the functions and satisfy the following: For all
Special types of lattices
complete lattice A complete lattice is an ordered set such that whenever is a family of elements of , both and exist.