User:Leigh.Samphier/Refactor

Refactor

 * Definition:Base Axiom (Matroid)

Axiom:Matroid Axioms
 * Definition:Matroid Axioms/Axioms 1
 * Definition:Matroid Axioms/Axioms 2
 * Definition:Matroid Axioms/Axioms 3
 * Definition:Matroid Axioms/Axioms 4


 * Definition:Matroid
 * Definition:Matroid/Definition 1
 * Definition:Matroid/Definition 2
 * Definition:Matroid/Definition 3
 * Definition:Matroid/Definition 4


 * Definition:Rank Axioms (Matroid)
 * Definition:Rank Axioms (Matroid)/Definition 1
 * Definition:Rank Axioms (Matroid)/Definition 2


 * Definition:Circuit Axioms (Matroid)


 * Definition:Independence System Axioms


 * Definition:Closure Axioms (Matroid)


 * Definition:Filter on Set
 * Definition:Filter on Set/Definition 1
 * Definition:Filter on Set/Definition 2


 * Definition:Non-Archimedean/Norm (Vector Space)


 * Definition:Inductive Set


 * Definition:B*-Algebra


 * Definition:Right Group Action Axioms


 * Definition:Group Action Axioms


 * Definition:Filter


 * Definition:Ring of Sets
 * Definition:Ring of Sets/Definition 1
 * Definition:Ring of Sets/Definition 2
 * Definition:Ring of Sets/Definition 3


 * Definition:Inner Product


 * Definition:Measure (Measure Theory)


 * Definition:Metagraph


 * Definition:Semiring of Sets


 * Definition:Stencil


 * Definition:Valuation Axioms


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


 * Definition:Minkowski Functional


 * Definition:Probability Measure/Definition 4


 * Definition:Strictly Positive/Real Number/Definition 2


 * Definition:Topological Vector Space


 * Definition:Special Set


 * Definition:Integral Domain Axioms


 * Definition:Probability Measure/Definition 3


 * Definition:Linear Ring Action/Right


 * Definition:Auxiliary Relation


 * Definition:Ordinal/Definition 1


 * Definition:Additive Semiring/Axioms


 * 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:Basis (Topology)/Synthetic Basis/Definition 1


 * Definition:Ideal (Order Theory)


 * Definition:Non-Archimedean/Norm (Division Ring)/Definition 1


 * Definition:Rig


 * Definition:Semi-Inner Product


 * Definition:Distributive Lattice


 * Definition:Inductive Class


 * Definition:Sigma-Ring/Definition 2


 * Definition:Sigma-Ring/Definition 3


 * Definition:Linear Ring Action/Left


 * Definition:Topology/Definition 2


 * Definition:Affine Space/Weyl's Axioms


 * Definition:Underlying Set Functor/Category of Monoids


 * Definition:Real Number/Operations on Real Numbers


 * Definition:Inductive Class/General


 * Definition:Sigma-Algebra/Definition 2


 * Definition:Complex Measure


 * Definition:Hilbert Proof System Instance 1 for Predicate Logic


 * Definition:Quasinorm


 * Definition:Superinductive Class


 * Definition:Quasiuniformity Axioms


 * Definition:Domain Functor


 * Definition:Codomain Functor


 * Definition:Ordinal/Definition 2


 * Definition:G-Ordered Class


 * Definition:Strict Ordering/Asymmetric and Transitive


 * Definition:Quasimetric


 * Definition:Slowly Well-Ordered Class under Subset Relation


 * Definition:Ordering Compatible with Ring Structure


 * Definition:Strict Ordering/Antireflexive and Transitive


 * Definition:Product Functor


 * Definition:Abstract Geometry


 * Definition:Uniformity Axioms


 * Definition:Huntington Algebra


 * Definition:Affine Space/Associativity Axioms


 * Definition:Pullback Functor


 * Definition:Language of Predicate Logic/Formal Grammar


 * Definition:Ordered Integral Domain/Definition 2


 * Definition:Composition Functor on Slice Categories


 * Definition:Exponentiation Functor


 * Definition:Signed Measure


 * Definition:Metagraph


 * Definition:Operations on Polynomial Ring of Sequences


 * Definition:Ordering/Class Theory


 * Definition:Inner Product


 * Definition:Dirichlet Conditions


 * Definition:Topological Group/Definition 1


 * Definition:Semiring (Abstract Algebra)


 * Definition:Multiplication/Natural Numbers


 * Axiom:Real Number/Axioms


 * Definition:Positivity Property


 * Definition:Event Space


 * Definition:Seminorm


 * Definition:Vector Space Axioms


 * Definition:Preordering/Definition 1


 * Definition:Strict Positivity Property


 * Definition:Measure (Measure Theory)


 * Definition:Ordering/Definition 1