User:Leigh.Samphier/OrderTheory


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


 * User:Leigh.Samphier/OrderTheory/Axiom:Ideal Axioms (Join Semilattice)


 * User:Leigh.Samphier/OrderTheory/Definition:Ideal (Join Semilattice)

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


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


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


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


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

User:Leigh.Samphier/OrderTheory/Equivalence of Definitions of Lattice Ideal