Axiom:Lattice Ideal Axioms