User:Leigh.Samphier/Refactor

Refactor
User:Leigh.Samphier/Refactor/


 * Definition:Base Axiom (Matroid)


 * Definition:Closure Axioms (Matroid) like Definition:Kuratowski Closure Operator


 * Definition:Complementary Idempotent


 * Definition:Constant Polynomial


 * Definition:P-Sequence Space


 * Hall's Marriage Theorem


 * Definition:Coset Space


 * Set is Open iff Union of Open Balls


 * Set is Open iff Neighborhood of all its Points


 * Definition:Generated Ideal of Ring


 * Definition:Convergent Sequence/Topology