User:Leigh.Samphier/Refactor

Refactor

 * Definition:Base Axiom (Matroid)


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


 * Definition:Ordering Compatible with Ring Structure

User:Leigh.Samphier/Refactor/Axiom:Ring Compatible Ordering Axioms


 * Definition:Ordered Integral Domain/Definition 2


 * Definition:Auxiliary Relation


 * Definition:Ideal (Order Theory)


 * Definition:Distributive Lattice


 * Definition:Rig


 * Definition:Semiring (Abstract Algebra)


 * Definition:Linear Ring Action/Right


 * Definition:Linear Ring Action/Left


 * Definition:Topology/Definition 2


 * Definition:Basis (Topology)/Synthetic Basis/Definition 1


 * Definition:Quasimetric


 * Definition:Quasinorm


 * Definition:Quasiuniformity Axioms


 * Definition:Event Space


 * Definition:Measure (Measure Theory)


 * Definition:Probability Measure/Definition 3


 * Definition:Probability Measure/Definition 4


 * Definition:Complex Measure


 * Definition:Signed Measure


 * Definition:Abstract Geometry


 * Definition:Huntington Algebra


 * Definition:Inner Product


 * Definition:Topological Group/Definition 1


 * Definition:Topological Vector Space


 * Definition:Natural Number Multiplication/1-Based