User:Leigh.Samphier/Refactor

Refactor

 * Definition:Base Axiom (Matroid)


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

Rename User matroid axiom pages


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

User:Leigh.Samphier/Refactor/Definition:Non-Archimedean/Norm (Vector Space)

User:Leigh.Samphier/Refactor/Definition:Non-Archimedean/Norm (Vector Space)/Definition 1

User:Leigh.Samphier/Refactor/Definition:Non-Archimedean/Norm (Vector Space)/Definition 2

User:Leigh.Samphier/Refactor/Equivalence of Definitions of Non-Archimedean Vector Space Norm

User:Leigh.Samphier/Refactor/Axiom:Non-Archimedean Norm Axioms like Axiom:Norm Axioms

User:Leigh.Samphier/Refactor/Axiom:Non-Archimedean Norm Axioms/Division Ring

User:Leigh.Samphier/Refactor/Axiom:Non-Archimedean Norm Axioms/Vector Space

User:Leigh.Samphier/Refactor/Axiom:Non-Archimedean Norm Axioms (Division Ring)

User:Leigh.Samphier/Refactor/Axiom:Non-Archimedean Norm Axioms (Vector Space)


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


 * Definition:Minkowski Functional


 * Definition:Probability Measure/Definition 4


 * Definition:Probability Measure/Definition 3


 * Definition:Strictly Positive/Real Number/Definition 2


 * Definition:Topological Vector Space


 * Definition:Special Set


 * Definition:Linear Ring Action/Right


 * Definition:Auxiliary Relation


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


 * Definition:Ideal (Order Theory)


 * 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: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:Huntington Algebra


 * 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


 * Definition:Positivity Property


 * Definition:Event Space


 * Definition:Seminorm


 * Definition:Preordering/Definition 1


 * Definition:Strict Positivity Property


 * Definition:Measure (Measure Theory)


 * Definition:Ordering/Definition 1