User:Leigh.Samphier/OrderTheory


 * Definition:Ideal


 * Definition:Ideal (Order Theory)


 * Axiom:Ideal Axioms (Join Semilattice)


 * Definition:Ideal (Join Semilattice)


 * Join Semilattice Ideal iff Ordered Set Ideal


 * Axiom:Ideal Axioms (Lattice)


 * Definition:Ideal (Lattice)


 * Definition:Ideal (Lattice)/Definition 1


 * Definition:Ideal (Lattice)/Definition 2


 * Equivalence of Definitions of Lattice Ideal

User:Leigh.Samphier/OrderTheory/Definition:Filter

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


 * Axiom:Filter Axioms (Meet Semilattice)


 * Definition:Filter (Meet Semilattice)

User:Leigh.Samphier/OrderTheory/Meet Semilattice Filter iff Ordered Set Filter

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

User:Leigh.Samphier/OrderTheory/Definition:Filter (Lattice)

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

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

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