User:Leigh.Samphier/Refactor

Refactor
User:Leigh.Samphier/Refactor/


 * Definition:Base Axiom (Matroid)


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


 * 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:P-Sequence Space


 * P-adic Norm forms Non-Archimedean Valued Field/Rational Numbers


 * P-adic Norm forms Non-Archimedean Valued Field/P-adic Numbers