User:Leigh.Samphier/Refactor

Refactor

 * Definition:Base Axiom (Matroid)


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

User:Leigh.Samphier/Refactor/


 * Definition:Abstract Geometry


 * Definition:Huntington Algebra


 * Definition:Topological Group/Definition 1


 * Definition:Topological Vector Space


 * Definition:Measure (Measure Theory)


 * Definition:Probability Measure/Definition 3


 * Definition:Probability Measure/Definition 4


 * Definition:Complex Measure


 * Definition:Signed Measure


 * Definition:Natural Number Multiplication/1-Based


 * Definition:Topology/Definition 2


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


 * Definition:Event Space