User:Leigh.Samphier/OrderTheory

User:Leigh.Samphier/OrderTheory/Axiom:Ideal Axioms (Lattice Theory)

User:Leigh.Samphier/OrderTheory/Definition:Ideal (Lattice Theory)

User:Leigh.Samphier/OrderTheory/Definition:Ideal (Order Theory)

User:Leigh.Samphier/OrderTheory/Join Semilattice Ideal iff Ordered Set Ideal