User:Leigh.Samphier/Refactor

Refactor

 * Definition:Base Axiom (Matroid)


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


 * Definition:Sigma-Algebra/Definition 2


 * Definition:Preordering/Definition 1


 * Definition:Ordering/Definition 1


 * Definition:Strict Ordering/Asymmetric and Transitive


 * Definition:Strict Ordering/Antireflexive and Transitive


 * Definition:Ordering Compatible with Ring Structure


 * 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


 * Definition:Inductive Set


 * Definition:B*-Algebra


 * Definition:Metagraph


 * Definition:Stencil


 * Definition:Kuratowski Closure Operator
 * Definition:Kuratowski Closure Operator/Definition 1
 * Definition:Kuratowski Closure Operator/Definition 2


 * Definition:Minkowski Functional


 * Definition:Strictly Positive/Real Number/Definition 2


 * Definition:Special Set


 * Definition:Linear Ring Action/Right


 * Definition:Ordinal/Definition 1


 * Definition:Minimally Inductive Class under General Mapping/Definition 1


 * Definition:Minimally Inductive Class under General Mapping/Definition 2


 * Definition:Minimally Closed Class/Definition 2
 * Definition:Minimally Closed Class/Definition 1


 * Definition:Supercomplete Class


 * Definition:Inductive Class


 * Definition:Underlying Set Functor/Category of Monoids


 * Definition:Inductive Class/General


 * Definition:Hilbert Proof System Instance 1 for Predicate Logic


 * Definition:Superinductive Class


 * Definition:Domain Functor


 * Definition:Codomain Functor


 * Definition:Ordinal/Definition 2


 * Definition:G-Ordered Class


 * Definition:Slowly Well-Ordered Class under Subset Relation


 * Definition:Product Functor


 * Definition:Pullback Functor


 * Definition:Language of Predicate Logic/Formal Grammar


 * Definition:Composition Functor on Slice Categories


 * Definition:Exponentiation Functor


 * Definition:Metagraph


 * Definition:Operations on Polynomial Ring of Sequences


 * Definition:Ordering/Class Theory


 * Definition:Dirichlet Conditions


 * Definition:Positivity Property


 * Definition:Strict Positivity Property