Lattice Theory: Foundation