Post on 09-Mar-2016
description
transcript
Proofwiki’s Dictionary
This text contains a sizeable portion of the words in ProofWiki’s dictio-nary together with the words they depend upon.
Refer to a word in bold as a header word and a word within the list byit as a support word.
Each connection is accurate and the list is self contained in that every sup-port word is also a header word.
The list is not complete however due to more time needed by the authorto attend to complications such as redirects and abnormally structured pages.
For a textfile version of this email me at: jsh.flynn@gmail.com
1
(1-3)Parastrophe: Magma, Iff
(2-3)Parastrophe: Magma, Iff
(Lower) Level Set: Extended Real Valued Function
A Fortiori:
Abacism: Abacus, Arabic Numerals, Algorism
Abacus: Abacism, Arabic Numerals, Algorism
Abbreviation of WFFs of PredCalc: String, Abbreviation of WFFsof PropCalc, Predicate Symbol, Equals, Formal System, Infix Notation
Abbreviation of WFFs of PropCalc:
Abelian Group Axioms: Algebraic Structure, Abelian Group, Associa-tive, Commutative
Abelian Group: Group, Element, Commutative
Abnormal Subgroup: Group, Subgroup, Iff, Generator of Group,
Absolute Continuity: Real Interval, Real Function, Finite, Disjoint Sets,
Absolute Convergence of a Product: Iff, Absolute Convergence
Absolute Convergence:
Absolute Value of Mapping: Set, Real-Valued Function, Absolute Value,Pointwise Operation on Real-Valued Functions
Absolute Value:
Absolute Zero: Temperature
Absorb: Vector Space, Field (Abstract Algebra), Subset, Set, Iff
2
Absorbent Set: Vector Space, Field (Abstract Algebra), Subset, Set, Iff
Absorption Law: Algebraic Structure, Commutative, Iff
Abstract Geometry: Set, Subset, Iff, Element
Absurd:
Abundance: Sigma Function, Divisor
Abundancy: Sigma Function, Divisor
Abuse of Notation:
Acceleration: Body, Derivative, Velocity, Time, Acceleration
Accumulation Point: Topological Space, Infinite Sequence, Infinite Set
Action: Definite Integral, Time
Activist School:
Acute Angle: Angle, Right Angle, Zero Angle, Radians
Acyclic Graph: Graph (Graph Theory), Cycle (Graph Theory), Connected(Graph Theory), Undirected Graph, Tree (Graph Theory), Forest
Addition of Polynomial Forms:
Addition:
Additive Function (Conventional): Mapping, Algebraic Structure, Ad-dition
Additive Function (Measure Theory): Algebra of Sets, Mapping, Ex-tended Real Number, Disjoint Sets, Finite, Pairwise Disjoint, Countably Ad-ditive Function
3
Additive Function (Number Theory): Function, Integer,
Additive Group: Ring (Abstract Algebra), Group
Additive Notation: Commutative, Algebraic Structure, Symbol, Zero El-ement, Abelian Group, Negative
Additive Semiring: Semiring (Abstract Algebra), Commutative
Additive Subgroup: Ring (Abstract Algebra), Additive Group, Subgroup
Adherent Point: Topological Space
Adjacency Matrix: Matrix, Graph (Graph Theory), Vertex (Graph The-ory), Order (Graph Theory),
Adjacent (Graph Theory):
Adjoint: Hilbert Space, Bounded Linear Transformation
Adjugate: Determinant, Cofactor
Affine Algebraic Set: Field (Abstract Algebra), Subset, Zero Locus, Ideal(Ring Theory)
Affine Algebraic Variety: Field (Abstract Algebra), Subset, Affine Al-gebraic Set, Irreducible (Topology)
Affine Geometry: Affine Space
Affine Space: Vector Space, Field (Abstract Algebra), Set, Mapping
Affine Transformation:
Age: Class, Embedding (Model Theory),
Aggregate: Set
4
Agreement:
Aleph Function: Infinite Cardinal Class, Unique, Ordered Structure, Or-dinal Class
Aleph Hypothesis: Ordinal
Alexander Polynomial: Seifert Matrix
Algebra (Abstract Algebra): Algebra over a Ring, Module, CommutativeRing, Bilinear Mapping, Algebra over a Field, Vector Space, Field (AbstractAlgebra), Real Algebra, Division Algebra, Associative Algebra, Associative,Unitary Algebra, Unitary Division Algebra, Graded Algebra, Ring (AbstractAlgebra), Gradation, Graded Ring, Filtered Algebra, Quadratic Algebra,Generator of Module
Algebra Loop: Quasigroup,
Algebra of Sets:
Algebra over a Field: Vector Space, Field (Abstract Algebra), BilinearMapping, Algebra over a Ring, Ring (Abstract Algebra), Module
Algebra over a Ring: Module, Commutative Ring, Bilinear Mapping, Al-gebra over a Field, Vector Space, Field (Abstract Algebra), Ring with Unity
Algebra: Set, Element
Algebraic (Model Theory): Subset, Ordered n-Tuple, Element, Language(Logic), Model (Logic), Finite
Algebraic Dual: Commutative Ring, Module, Linear Form
Algebraic Integer: Number Field, Monic Polynomial, Ring (Abstract Al-gebra)
Algebraic Number Field:
5
Algebraic Number: Set, Algebraic Number, Subset, Complex Number,Rational Number, Golden Mean
Algebraic Structure: Set, Element
Algebraic Substructure: Algebraic Structure
Algebraic System: Mathematical System, Empty Set, Element, Set,
Algebraic: Set, Element
Algebraically Closed: Field (Abstract Algebra),
Algebraically Independent: Field Extension, Subset, Indeterminate Vari-able, Field Homomorphism
Algorism: Arabic Numerals, Abacism, Abacus, Algorithm
Algorithm: Finite, Set, Sequence, Algorism
Algorithmic Computability: Function, Algorithm
All-Harshad Number: Niven Number, Number Base
Almost Every: Measure Space,
Almost Everywhere: Measure Space,
Alphabetic Substitution: Predicate Calculus, Variable, Occurrence (For-mal Systems), Free Occurrence
Alternate Ratio: Ratio
Alternating Bilinear Mapping: Algebra over a Ring
Alternating Group: Symmetric Group, Sign of Permutation, Kernel ofGroup Homomorphism, Mapping
6
Alternative Algebra: Algebra over a Ring, Alternative Algebra, Iff, Al-ternative, Generator of Algebra, Associative Algebra
Alternative:
Altitude of Triangle: Triangle (Geometry), Cevian
Altitude: Triangle (Geometry), Cevian
Ambiguous: Distinct
Ampere (Unit): Electric Current, Force, Newton (Unit), Meter
Ampere: Electric Current, Force, Newton (Unit), Meter
Ampheck: Symbol, Logical Connective, Logical NOR, Logical NAND
Amphiboly: Ambiguous, Syntax
Analytic Continuation: Analytic Function, Open Set
Analytic Function:
Angle Between Vectors: Zero Vector, Vector (Euclidean Space)
Angle Bisector: Angle,
Angle: Intersection (Geometry), Line,
Annihilator of a Ring: Ring (Abstract Algebra), Field (Abstract Alge-bra), Bilinear Mapping, Integral Multiple, Integer, Ring Zero
Annihilator on Algebraic Dual: Commutative Ring, Module, AlgebraicDual, Submodule
Annihilator: Commutative Ring, Module, Bilinear Mapping
7
Antiassociative Structure: Algebraic Structure, Iff, Antiassociative
Antiassociative: Set, Iff
Anticommutative:
Antihomomorphism: Mapping, Algebraic Structure
Antinomy: Valid Argument, Premise
Antireflexive Relation: Relation
Antisymmetric Relation: Relation
Antitransitive Relation: Relation
Arabic Numerals: Roman Numerals
Arbitrarily Large: Property, Real Number
Arc (Graph Theory): Element, Vertex (Graph Theory), Endvertex
Arc (Topology): Topological Space, Path (Topology), Injection,
Arc Component: Topological Space, Relation, Partition (Set Theory),Equivalence Class
Arc Length: Real Function, Continuously Differentiable, Definite Integral
Arc-Connected:
Arc: Inverse Mapping,
Arccosine: Inverse Mapping,
Arccotangent: Inverse Mapping,
Archimedean Property: Norm,
8
Arcsine: Inverse Mapping,
Arctangent: Inverse Mapping,
Area: Surface, Dimension (Geometry), Square
Arens-Fort Space: Cartesian Product, Subset, Power Set, Finite, Infinite,Topological Space
Argand Diagram: Ordered Pair, Real Number Plane,
Argument (Complex Analysis): Complex Number, Argand Diagram,Integer,
Argument (Predicate Calculus): Formal Language, Predicate Calcu-lus, Word (Formal Systems),
Argument: Complex Number, Argand Diagram, Integer,
Arithmetic Function: Complex-Valued Function, Natural Numbers
Arithmetic Mean: Real Number
Arithmetic Progression: Sequence
Arity:
Array: Object, Number
Artinian Module: Commutative and Unitary Ring, Module, DescendingChain Condition, Subring, Minimal Condition
Artinian Ring: Commutative and Unitary Ring, Artinian Module, Module
Ascending Chain Condition: Commutative and Unitary Ring, Module,Submodule, Inclusion Mapping, Sequence
9
Assembly (Mathematical Theory): Mathematical Theory, Sign (Math-ematical Theory)
Associate: Integral Domain, Element,
Associative Algebra: Algebra over a Ring, Associative Algebra, Iff, Asso-ciative
Associative:
Associator: Algebra over a Ring,
Assumption: Statement, Logical Argument, Truth Value, True, NaturalLanguage
Asymmetric Relation: Relation
Asymptotically Equal:
Atlas: Locally Euclidean Space, Chart, Indexing Set, Set, Differentiabil-ity Class, Mapping
Atom (Logic): Logic
Atom (Measure): Measure Space
Atom (Ring Theory): Integral Domain, Irreducible (Ring Theory),
Atom (Sigma-Algebras): Measurable Space, Empty Set, Non-Empty Set,
Atom: Logic
Atomic Domain: Integral Domain, Atom (Ring Theory), Maximal Condi-tion, Principal Ideal
Atomic WFF of Predicate Calculus: Predicate Calculus, Well-FormedFormula, Logical Connective, Quantifier,
10
Automorphism (Abstract Algebra): Isomorphism (Abstract Algebra),Algebraic Structure, Bijection, Homomorphism (Abstract Algebra), Permu-tation
Automorphism: Isomorphism (Abstract Algebra), Algebraic Structure, Bi-jection, Homomorphism (Abstract Algebra), Permutation
Average Value of a Function:
Axiom Schema: Formal System, Variable, Infinite, Axiom, Statement,Finitely Axiomatizable
Axiom:
Axiomatic Definition of Natural Numbers:
Axiomatic Set Theory: Set Theory, Naive Set Theory, ZF, ZFC
Axiomatic System: Logic, Mathematics, Axiom, Theorem, Zermelo-FraenkelAxioms, ZF, ZFC
Axis: Linear Transformation, Real Vector Space
B-Algebra: Algebraic Structure, Iff
Backus-Naur Form: Formal Language, Metalanguage, Syntax
Baire Space (Set Theory): Set, Infinite Sequence, Natural Numbers,Cartesian Product, Countable
Baire Space (Topology): Topological Space, Set Union, Countable, ClosedSet, Interior (Topology), Empty Set
Baire Space: Topological Space, Set Union, Countable, Closed Set, In-terior (Topology), Empty Set
Balanced Incomplete Block Design:
11
Balanced Signed Graph: Signed Graph, Partition (Set Theory), Sub-set
Balanced String: String, Propositional Calculus, Predicate Calculus, Iff,Parenthesis
Banach Space: Complete Metric Space,
Basic Null Sequence: Sequence, Null Sequence
Basic Open Set: Topological Space
Basic Primitive Recursive Function:
Basic Proposition: Boolean Function, Boolean Domain, Integer, Projec-tion (Mapping Theory),
Basis (Linear Algebra): Unitary Module, Generator of Module,
Basis (Topology):
Basis Element: Element,
Basis Expansion:
Basis:
Bayesian Probability Model: Mathematical Model, Probability
Because: Statement, Logical Implication
Bernoulli Distribution: Discrete Random Variable, Probability Space,Probability Mass Function, Binomial Distribution
Bernoulli Process: Sequence, Finite, Infinite, Bernoulli Trial, Probabil-ity, Experiment, Bernoulli Distribution, Independent Events
Bernoulli Trial: Experiment, Sample Space, Probability Space, Bernoulli
12
Distribution
Between (Geometry): Undefined Term, Point, Ostensive Definition
Between:
Biconditional: Iff
Biconnected: Topological Space, Biconnected, Set Union, Disjoint Sets,
Big Model: Cardinal
Big-Omega: Mapping,
Big-Theta: Big-Omega, Mapping
Bijection: Mapping, Surjection, Injection, Relation, Left-Total Relation,Right-Total Relation, Many-to-One Relation, One-to-Many Relation
Bijective Restriction: Mapping, Bijection,
Bijective: Mapping, Bijection,
Bilinear Mapping: Commutative Ring, Module, Linear Transformation
Binary Numbers: Number Base, Hexadecimal Numbers
Binary Sequence: Boolean Domain, Boolean-Valued Function, Infinite Se-quence, Finite Sequence, Length of Sequence
Binary Tree: Rooted Tree, Degree (Vertex), Distinct
Binding Priority: Statement Form, Parenthesis
Binomial Coefficient:
Binomial Distribution: Discrete Random Variable, Probability Space,Probability Mass Function
13
Bipartite Graph: Graph (Graph Theory), Partition (Set Theory), Set,Incident, Vertex (Graph Theory), Adjacent (Graph Theory)
Block Incidence Matrix of a Design: Balanced Incomplete Block Design,
BNF Specification of Propositional Calculus: Formal Language, Propo-sitional Calculus
BNF: Formal Language, Propositional Calculus
Body: Object, Ideal (Physics), Physical Universe, Aggregate, Particle
Boolean Algebra: Iff, Ordered Structure, Huntington Algebra
Boolean Domain: Set, Element, Truth Value
Boolean Fiber: Boolean Domain, Boolean-Valued Function, Fiber of Truth
Boolean Function:
Boolean Group:
Boolean Interpretation: Formal Language, Propositional Calculus, Boolean-Valued Function, Mapping, Well-Formed Formula, Bottom-Up Specificationof Propositional Calculus,
Boolean Ring Axioms: Boolean Ring, Algebraic Structure, Associative,Commutative, Ring Zero, Characteristic (Ring Theory), Unity, Distributive
Boolean Ring: Ring (Abstract Algebra), Iff, Idempotent Ring, Ring withUnity
Boolean Variable: Variable, Element, Boolean Domain
Boolean-Valued Function: Mapping, Set, Boolean Domain
Borel Algebra: Delta-Algebra,
14
Bottom (Lattice Theory): Lattice
Bottom-Up Specification of Propositional Calculus: Formal Lan-guage, Propositional Calculus
Boubaker Polynomials: Boubaker Polynomials, Sequence, Polynomial
Bound Occurrence: Formal Language, Predicate Calculus, Occurrence(Formal Systems), Quantifier, Variable, Scope (Predicate Calculus), DummyVariable
Boundary (Geometry):
Boundary (Graph Theory):
Boundary (Topology): Topological Space, Closure (Topology), Interior(Topology)
Boundary:
Bounded Above:
Bounded Below:
Bounded Lattice:
Bounded Linear Functional: Hilbert Space, Linear Functional,
Bounded Linear Transformation: Hilbert Space, Linear Transformation,
Bounded Minimization:
Bounded Sesquilinear Form: Hilbert Space, Sesquilinear Form
Bounded:
Box Topology: Topological Space, Topology Generated by Synthetic Basis
15
Bozo Bit:
Braid Group:
Bridge: Connected (Graph Theory), Graph (Graph Theory), Edge (GraphTheory)
By Hypothesis: Proof
Bzout Domain: Integral Domain, Principal Ideal, Ring (Abstract Algebra)
Bzout Numbers: Greatest Common Divisor
Can’t Happen:
Cancellable Element: Algebraic Structure
Cancellable Operation: Algebraic Structure
Cancellable Semiring: Semiring (Abstract Algebra), Element, CancellableElement
Cancellable: Algebraic Structure
Canonical Injection (Abstract Algebra): Algebraic Structure, Mapping
Canonical Injection: Algebraic Structure, Mapping
Canonical Order: Ordinal Class, Ordinal, Lexicographic Order, Iff
Cantor Normal Form:
Cantor Set:
Cantor Space: Cantor Set, Topological Space
Cardinal Number: Set, Ordinal Class, Cardinality
16
Cardinal: Set, Finite Set, Infinite, Set Equivalence, Subset of Natural Num-bers, Element, Finite,
Cardinality: Set, Finite Set, Infinite, Set Equivalence, Subset of Natu-ral Numbers, Element, Finite,
Carmichael Number: Composite Number, Prime Number
Cartesian Closed Category: Metacategory, Iff, Category with Exponen-tials
Cartesian Coordinates:
Cartesian Product: Set, Ordered Pair
Categorical (Model Theory): Theory (Logic), Cardinal, Model (Logic),
Categorical Statement: Predicate, Statement, Natural Language, Propo-sitional Function, Universe (Set Theory)
Category of Boolean Algebras: Metacategory, Object, Boolean Alge-bra,
Category of Categories: Metacategory, Object, Small Category, Func-tor
Category of Cocones: Metacategory
Category of Cones: Metacategory, Diagram (Category Theory), Object,Cone (Category Theory), Morphism of Cones, Composition of Morphisms,Identity Morphism
Category of Finite Sets: Metacategory, Object, Finite Set, Mapping
Category of Groups: Metacategory, Object, Group, Group Homomor-phism
17
Category of Monoids: Metacategory, Object, Monoid, Monoid Homo-morphism
Category of Pointed Sets: Object, Set, Mapping, Composition of Mor-phisms, Composition of Mappings, Identity Morphism, Identity Mapping,
Category of Posets: Metacategory, Object,
Category of Relations: Metacategory, Object, Set, Composition of Mor-phisms, Composition of Relations
Category of Sets: Metacategory, Object, Set, Mapping
Category of Subobject Classes: Metacategory, Object (Category The-ory), Category of Subobjects, Object, Subobject Class, Composition of Mor-phisms, Identity Morphism
Category of Subobjects: Metacategory, Object (Category Theory), Ob-ject, Subobject, Composition of Morphisms, Identity Morphism, Commuta-tive Diagram
Category of Vector Spaces:
Category with Exponentials: Exponential (Category Theory), Object(Category Theory)
Category with Products: Metacategory, Iff, Object (Category Theory),
Category: Metacategory, Metagraph, Graph (Category Theory), Class, Set,Object,
Cauchy Equivalent: Metric, Metric Space, Iff, Sequence, Cauchy Sequence
Cauchy Matrix: Matrix, Element, Field (Abstract Algebra), Distinct
Cauchy Sequence:
Cayley Table: Algebraic Structure, Finite Group, Group Product, Array
18
Cayley-Dickson Construction: Star-Algebra, Cartesian Product, Con-jugation (Abstract Algebra)
Ceiling Function: Integer
Center (Abstract Algebra): Group, Subset, Element, Commutative,
Center (Graph Theory): Tree (Graph Theory), Degree (Vertex), Inci-dent, Edge (Graph Theory)
Center: Group, Subset, Element, Commutative,
Centimeter:
Central Product: Group, Group Isomorphism, Set, Quotient Group
Central Subgroup: Group, Subgroup, Subset,
Centralizer:
Cevian: Triangle (Geometry), Median (Geometry), Altitude of Triangle
CGS: Centimeter, Gram, Units of Measurement, SI Units
Chain (Physics):
Chain (Set Theory): Totally Ordered Set, Subset,
Chain: Totally Ordered Set, Subset,
Change of Basis: Commutative and Unitary Ring, Dimension (Linear Al-gebra), Unitary Module, Ordered Basis, Identity Mapping, Linear Operator,Relative Matrix
Character (Number Theory): Finite Group, Abelian Group, Group Ho-momorphism
19
Character (Representation Theory): Finite Group, Finite, Dimension(Linear Algebra), Vector Space, Linear Representation, Trace (Linear Alge-bra)
Character: Ring with Unity, Ring Zero, Unity
Characteristic (Ring Theory): Ring with Unity, Ring Zero, Unity
Characteristic Function:
Characteristic Polynomial: Field (Abstract Algebra), Field Extension,Vector Space, Linear Transformation, Determinant of Linear Transforma-tion, Polynomial, Identity Mapping
Characteristic Subgroup: Group, Subgroup, Group of Automorphisms
Characteristic: Ring with Unity, Ring Zero, Unity
Chart: Locally Euclidean Space, Complex Locally Euclidean Space, OpenSet, Connected (Topology), Homeomorphism, Euclidean Space, Ordered Pair
Chen Prime: Prime Number, Semiprime, Even Integer
Choice Function: Set of Sets, Empty Set, Mapping, Element,
Chromatic Number: Graph (Graph Theory),
Circle Group: Set, Complex Number, Algebraic Structure,
Circle:
Circuit: Trail, Vertex (Graph Theory), Edge (Graph Theory), Subgraph
Circular Definition: Definition
Circular Proof: Proof
Circumcircle:
20
Circumference (Graph Theory): Graph (Graph Theory), Length (GraphTheory), Cycle (Graph Theory), Acyclic Graph, Infinite
Circumradius:
Circumscribe:
Class (Class Theory): Set, Condition, Statement,
Class (Descriptive Statistics): Finite Set,
Class Equality: Class, Iff, Class Membership, Set Variable
Class Membership:
Class of Cardinals: Class, Cardinal Number
Class: Formal System, Propositional Logic, Statement, True, False, For-mal Language, Propositional Calculus, Deductive Apparatus, Axiom, Ruleof Inference
Classes of WFFs: Predicate Calculus, Function Symbol, Classes of WFFs
Classical Probability Model: Mathematical Model, Probability, EventSpace, Cardinality, Set, Elementary Event, Sample Space, Experiment, Equiprob-able Outcomes, Finite, Probability Measure
Classical Probability: Mathematical Model, Probability, Event Space,Cardinality, Set, Elementary Event, Sample Space, Experiment, Equiproba-ble Outcomes, Finite, Probability Measure
Classical Propositional Calculus: Formal System, Propositional Logic,Statement, True, False, Formal Language, Propositional Calculus, DeductiveApparatus, Axiom, Rule of Inference
Claw: Complete Bipartite Graph
21
Clearly: Statement, True, Proof, Mistake
Clopen: Topological Space, Closed Set
Close Packed: Ordered Set, Iff, Element
Closed Ball: Metric Space, Closure (Topology), Metric
Closed Extension Topology: Topological Space, Universe (Set Theory),Set, Empty Set, Closed Extension Topology,
Closed Interval: Totally Ordered Set
Closed Invariant: Property, Set, Topological Space, Mapping, Closed Set,Closed Invariant,
Closed Linear Span: Hilbert Space, Subset, Closed Linear Subspace, Clo-sure (Topology), Linear Span,
Closed Linear Subspace: Topological Vector Space, Vector Subspace,Closed Set
Closed Mapping: Topological Space, Mapping, Closed Set
Closed Path (Topology): Topological Space, Path (Topology)
Closed Relation: Class, Relation, Iff, Transitive with Respect to a Relation
Closed Set: Topological Space, Iff, Relative Complement, Element, Topol-ogy
Closed under Mapping: Mapping, Set,
Closed Unit Ball: Banach Space, Norm (Vector Space)
Closed-Form Expression: Expression, Elementary Function, Sequence
Closed-Form Solution: Closed-Form Expression
22
Closed: Totally Ordered Set
Closure (Abstract Algebra):
Closure (Topology): Topological Space
Closure Operator: Set, Power Set, Mapping,
Closure:
Cluster Point of Filter: Set, Power Set, Filter on Set, Element
Cluster Point: Set, Power Set, Filter on Set, Element
Co-Countable Measure:
Co-Countable Set: Set, Relative Complement, Countable
Co-Countable: Set, Relative Complement, Countable
Coarser Topology: Set, Topology
Cobordism:
Cocone: Metacategory, Diagram (Category Theory), Object (Category The-ory), Commutative Diagram
Codimension: Submanifold, Manifold, Dimension (Topology)
Codomain (Category Theory):
Codomain (Set Theory):
Codomain Functor: Metacategory, Morphism Category,
Codomain of Sequence: Sequence, Element, Set, Object
23
Codomain:
Coefficient: Constant, Multiplication, Variable, Polynomial Coefficient
Coequalizer: Metacategory, Morphism, Unique, Commutative Diagram
Cofactor: Determinant
Cofinal Ordinal: Ordinal, Iff, Mapping,
Cofinal: Relational Structure, Set, Relation, Subset, Iff
Cofinality: Ordinal, Cofinal Ordinal
Cofinite: Set, Subset, Relative Complement, Finite
Cohomology Groups: Differential Complex, Graded Module, Submod-ule, Group
Colimit: Metacategory, Diagram (Category Theory), Category of Cocones,Initial Object,
Coloring:
Column Matrix: Matrix,
Column Space: Matrix
Combinable:
Combination: Set, Element, Subset
Combinatorial Matrix: Kronecker Delta,
Common Divisor:
Common Multiple: Finite, Set, Integer
24
Commutative Algebra: Algebra over a Ring
Commutative and Unitary Ring: Ring with Unity, Commutative Ring,Ring (Abstract Algebra), Commutative, Unity
Commutative B-Algebra: B-Algebra, Iff
Commutative Diagram: Composition of Mappings, Mapping,
Commutative Monoid: Monoid, Commutative
Commutative Ring: Ring (Abstract Algebra), Commutative
Commutative Semigroup with respect to an Equivalence Relation:Class, Equivalence Relation, Semigroup with respect to an Equivalence Re-lation, Iff
Commutative Semigroup: Semigroup, Commutative, Element
Commutative:
Commutator: Algebraic Structure, Commutative
Compact Complement Topology: Euclidean Space, Compact, RelativeComplement
Compact Linear Transformation: Hilbert Space, Linear Transforma-tion, Closed Unit Ball,
Compact:
Comparable Topologies: Set, Topology, Coarser Topology, Finer Topol-ogy
Comparable: Set, Topology, Coarser Topology, Finer Topology
Compatible Atlases: Locally Euclidean Space, Atlas, Chart, Mapping,Differentiability Class
25
Compatible Quasiuniformities: Quasiuniformity, Set, Quasiuniform Space,Topology
Complement (Graph Theory):
Complement (Lattice Theory): Bounded Lattice, Iff, Unique
Complement of Relation: Relation, Relative Complement
Complement: Relation, Relative Complement
Complementary Idempotent: Hilbert Space, Idempotent Operator,
Complementary Pair: Logical Complement, Simple Statement
Complementary: Right Angle, Angle, Degree (Angular Measure), Radians
Complemented Lattice: Bounded Lattice
Complements of Parallelograms:
Complete Bipartite Graph: Bipartite Graph, Vertex (Graph Theory),Adjacent (Graph Theory)
Complete Factorization: Integral Domain, Ring Zero, Tidy Factoriza-tion, Irreducible (Ring Theory)
Complete Graph: Simple Graph, Vertex (Graph Theory), Adjacent (GraphTheory), Order (Graph Theory), Regular Graph
Complete Lattice: Lattice, Supremum, Infimum
Complete Measure Space: Measure Space, Subset
Complete Metric Space: Metric Space, Cauchy Sequence,
Complete Poset: Subset,
26
Completed Dirichlet L-Function:
Completed Riemann Zeta Function: Riemann Zeta Function
Completely Additive Function: Ring (Abstract Algebra), Mapping, Ad-ditive Function (Number Theory)
Completely Hausdorff Space: Topological Space, Distinct, Closure (Topol-ogy), Disjoint Sets, Separated by Closed Neighborhoods
Completely Multiplicative Function: Field (Abstract Algebra), Func-tion, Multiplicative Function
Completely Normal Space: Topological Space, T5 Space, Frchet Space(Topology)
Completion (Measure Space): Measure Space, Complete Measure Space,Sub-Sigma-Algebra
Completion (Metric Space): Metric Space, Complete Metric Space, Ev-erywhere Dense, Isometry (Metric Spaces), Bijection, Injection, Metric
Complex Analytic Differentiable Structure: Complex Locally EuclideanSpace, Chart, Mapping
Complex Conjugate: Complex Number,
Complex Function: Mapping, Function, Subset, Complex Number
Complex Integral: Complex Function, Real Function, Complex Number,Definite Integral
Complex Locally Euclidean Space: Hausdorff Space, Topological Space,Homeomorphism,
Complex Modulus: Complex Number, Real-Valued Function
27
Complex Number: Ordered Pair, Real Number,
Complex Sequence: Sequence, Infinite Sequence, Codomain of Sequence,Complex Number
Complex-Valued Function: Mapping, Complex Number,
Complex: Ordered Pair, Real Number,
Component (Graph Theory): Graph (Graph Theory), Subgraph, Ver-tex (Graph Theory), Edge (Graph Theory)
Component (Topology): Topological Space, Relation, Iff, Connected (Topol-ogy), Topological Subspace
Component: Topological Space, Relation, Iff, Connected (Topology), Topo-logical Subspace
Composable Morphisms: Metacategory, Iff, Codomain (Category The-ory), Domain (Category Theory)
Composant: Topological Space, Continuum (Topology), Subset
Composite (Abstract Algebra): Algebraic Structure, Ordered n-Tuple,Empty Set,
Composite Number: Divisor, Integer, Prime Number, Composite Number
Composite: Algebraic Structure, Ordered n-Tuple, Empty Set,
Composition (Combinatorics): Strictly Positive, Integer
Composition Functor on Categories of Subobjects: Metacategory,Object, Category of Subobjects, Monomorphism (Category Theory), Com-position of Functors, Commutative Diagram
Composition Functor on Slice Categories: Metacategory, Object, SliceCategory, Composition of Functors, Commutative Diagram
28
Composition Functor: Metacategory, Object, Slice Category, Composi-tion of Functors, Commutative Diagram
Composition of Functors: Metacategory, Object,
Composition of Mappings: Mapping,
Composition of Morphisms: Metacategory, Composable Morphisms, Com-position of Mappings, Transitive Relation
Composition of Ratio: Ratio
Composition of Relations: Relation,
Composition Series: Finite Group, Normal Series,
Composition: Relation,
Compound Ratio: Ratio, Compound Ratio, Product
Compound Statement: Statement, Simple Statement, Logical Connective
Comprehension Principle: Property, Set, Object, Element, Zermelo-FraenkelAxioms
Computational Method: Set, Mapping, Integer, Algorithm, Finite
Concatenation (Formal Systems): Symbol, String
Concatenation (Topology): Mapping
Concatenation of Contours: Contour (Complex Analysis), Finite Se-quence, Directed Smooth Curve, Smooth Path (Complex Analysis)
Concatenation of Sequences: Set, Finite Sequence, Length of Sequence,Sequence of n Terms
29
Concatenation of URM Programs: URM Computability, Function
Concatenation: Mapping
Concave Function: Real Function, Real Interval
Conclusion: Statement, Logical Argument
Concyclic: Set, Point, Circle
Condensation Point: Topological Space, Uncountable
Condensed Series:
Condition:
Conditional Convergence: Series, Convergent Series, Absolute Conver-gence
Conditional Expectation: Probability Space, Discrete Random Variable,Event, Absolute Convergence, Conditional Probability
Conditional Probability: Experiment, Probability Space, Event, Prob-ability, Iff
Conditional:
Cone (Category Theory): Metacategory, Diagram (Category Theory),Object (Category Theory), Commutative Diagram
Cone: Dimension (Geometry), Geometric Figure, Set, Perimeter, Point
Conflation:
Confutation: Singleton, Finished Propositional Tableau, Finite
Congruence (Geometry): Geometric Figure, Angle,
30
Congruence (Metric Spaces): Subset, Metric Space, Isometry (MetricSpaces)
Congruence (Number Theory): Relation, Set, Real Number
Congruence Modulo an Ideal: Ring (Abstract Algebra), Ideal (RingTheory)
Congruence Modulo Subgroup: Group, Subgroup
Congruence Relation: Algebraic Structure, Equivalence Relation
Congruence: Algebraic Structure, Equivalence Relation
Conjugacy Class: Equivalence Class, Group, Closure (Topology)
Conjugate (Geometry): Angle, Full Angle
Conjugate (Group Theory): Group
Conjugate Closure: Group, Subset
Conjugate of Quadratic Irrational: Quadratic Irrational
Conjugate Quaternion: Quaternion, Conjugate Quaternion
Conjugate: Group
Conjugation (Abstract Algebra): Algebra over a Field, Mapping
Conjunction: Statement
Conjunctive Normal Form: Conjunction, Disjunction, Literal
Connected (Graph Theory):
Connected (Topology):
31
Connected Between Two Points: Topological Space, Separation (Topol-ogy),
Connected Domain (Complex Analysis): Subset, Complex Number,Iff, Path-Connected
Connected Relation: Relation, Set, Distinct
Connected Sum: Manifold, Dimension (Topology), Closed Set, Disk, In-jection, Set Difference, Interior (Topology), Equivalence Relation,
Connected: Manifold, Dimension (Topology), Closed Set, Disk, Injection,Set Difference, Interior (Topology), Equivalence Relation,
Connection by Absorption: Algebraic Structure,
Connectivity: Graph (Graph Theory), K-Connected, Vertex (Graph The-ory)
Constant (Category Theory): Metacategory, Terminal Object, Domain(Category Theory)
Constant Mapping:
Constant Operation: Set
Constant:
Contemplative School:
Content of a Polynomial: Polynomial, Greatest Common Divisor, Poly-nomial Coefficient
Contingent Statement: Statement Form, Tautology, Contradiction, TruthValue, Depend,
Continuation of Woset: Well-Ordered Set, Set, Initial Segment, Element
32
Continued Fraction:
Continuity: Graph of Mapping
Continuous Extension: Topological Space, Subset,
Continuous Functor: Metacategory, Iff, Diagram (Category Theory), Limit(Category Theory), Composition of Functors
Continuous Invariant: Property, Set, Topological Space, Continuous In-variant
Continuous Mapping:
Continuous Random Variable: Experiment, Probability Space, RandomVariable, Cumulative Distribution Function,
Continuously Differentiable: Differentiable, Differentiability Class,
Continuously Embedded: Embedded, Identity Mapping, Continuous Map-ping
Continuum (Topology): Topological Space, Compact, Connected (Topol-ogy)
Contour (Complex Analysis): Directed Smooth Curve, Smooth Path(Complex Analysis), Finite Sequence
Contour Integral: Contour (Complex Analysis), Finite Sequence, DirectedSmooth Curve, Smooth Path (Complex Analysis), Complex Function, Com-plex Integral
Contraction Mapping: Metric Space, Mapping
Contradiction: Statement Form, False, Truth Value,
Contradictory Statements: Statement
33
Contranormal Subgroup: Group, Subgroup, Iff, Normal Closure
Contrapositive: Conditional, Statement, Truth Value
Contrary Statements: Statement
Contravariant Representable Functor: Category of Sets
Convenience Sample: Population, Physical Universe, Sample, Individual,Iff, Object
Convergence Almost Everywhere: Measure Space, Measurable Func-tion, Sequence, Function, Pointwise Convergence
Convergence in Measure: Measure Space, Sequence, Measurable Func-tion, Iff
Convergence:
Convergent Filter Basis: Topological Space, Filter Basis, Filter on Set,Set
Convergent Filter: Topological Space, Filter on Set, Element
Convergent Function:
Convergent Net: Topological Space, Directed Set, Net (Preordered Set),
Convergent Sequence:
Convergent Series:
Converse: Conditional, Statement, True, False
Conversion of Ratio: Ratio
Convex Function: Real Function, Real Interval
34
Convex Set (Order Theory): Ordered Set, Subset
Convex Set (Vector Space): Vector Space, Subset
Convex Set: Vector Space, Subset
Convolution of Measurable Function and Measure: Measure (Mea-sure Theory), Measurable Function, Finite, Mapping
Convolution of Measurable Functions: Lebesgue Measure, MeasurableFunction, Finite, Mapping
Convolution of Measures: Measure (Measure Theory), CharacteristicFunction
Convolution: Lebesgue Measure
Coordinate:
Coprime:
Coproduct: Metacategory, Object, Commutative Diagram
Cord (Physics): Mass,
Coreflexive Relation: Relation
Corollary: Proof
Correspondence: Relation, Iff, Left-Total Relation, Right-Total Relation
Corresponding Conditional: Sequent, Propositional Logic, Theorem
Corresponding Magnitudes: Ratio
Cosecant:
Coset Product: Group, Normal Subgroup,
35
Coset Space: Group, Subgroup
Coset: Group
Cosine:
Coslice Category: Metacategory, Object, Domain (Category Theory), Com-position of Morphisms, Identity Morphism, Commutative Diagram
Cossist: Abacism
Cotangent:
Coulomb: SI Units, Electric Charge, Electric Current, Ampere (Unit)
Count: Set, Injection, Count, Infinite Set, Uncountable Set, Cardinality
Countability Axioms:
Countable Chain Condition: Topological Space, Disjoint Sets, Countable
Countable Complement Topology: Infinite, Cardinality, Uncountable,Set of Sets, Countable, Relative Complement, Finite, Topological Space
Countable Finite Intersection Axiom: Topological Space, Countable,Closed Set, Finite, Subset
Countable Set: Set, Injection, Count, Infinite Set, Uncountable Set, Car-dinality
Countable: Set, Injection, Count, Infinite Set, Uncountable Set, Cardi-nality
Countably Additive Function: Mapping, Extended Real Number, Se-quence, Pairwise Disjoint, Countable
Countably Compact: Topological Space, Countable, Open Cover,
36
Countably Metacompact: Topological Space, Countable, Open Cover,Open Refinement, Point Finite
Countably Paracompact: Topological Space, Countable, Open Cover,Open Refinement, Locally Finite Cover
Countably Subadditive Function: Set, Mapping, Extended Real Num-ber, Iff, Sequence, Element
Counting Measure: Mapping, Set, Cardinality
Covariant Representable Functor: Category of Sets, Locally Small Cat-egory, Object, Hom Class,
Cover: Set, Set of Sets,
Crackpot:
Critical Point: Manifold, Surjection
Cross Cancellation Property: Algebraic Structure
Cross-Relation on Natural Numbers: External Direct Product, Op-eration Induced by Direct Product, Relation
Cross-Relation: Commutative Semigroup, Subsemigroup, External DirectProduct, Operation Induced by Direct Product, Relation
Cross-Section: Intersection (Geometry),
Cube Number: Number, Power, Integer, Positive
Cube: Number, Power, Integer, Positive
Cubic Equation: Field
Cubic Graph: Regular Graph, Graph (Graph Theory), Vertex (Graph The-
37
ory), Degree (Vertex)
Cumulative Distribution Function: Probability Space, Random Vari-able
Cut Point: Topological Space, Set Difference, Cut Point
Cut-Vertex: Connected (Graph Theory), Graph (Graph Theory), Vertex(Graph Theory), Iff, Vertex Deletion, Vertex Cut, Singleton
Cycle (Graph Theory): Circuit, Vertex (Graph Theory), Path (GraphTheory), Edge (Graph Theory), Subgraph
Cycle (Periodic Solution):
Cycle Graph:
Cycle Type: Symmetric Group, Disjoint Permutations, Cyclic Permutation
Cyclic Group: Group, Integer, Generator of Group
Cyclic Permutation: Symmetric Group, Permutation, Fixed Element ofPermutation,
Cyclic Quadrilateral: Quadrilateral, Circumscribe
Cyclic: Group, Integer, Generator of Group
Darboux Function: Real Function, Iff,
Decimal Expansion: Real Number, Basis Expansion
Decision Procedure: Set, Algorithm
Decomposable: Set, Set Union
Decreasing Sequence of Events: Probability Space, Sequence, Event
38
Decreasing Sequence of Sets: Set, Subset, Sequence
Decreasing Sequence: Probability Space, Sequence, Event
Decreasing:
Dedekind Complete: Ordered Set, Iff, Universal Quantifier, Non-EmptySet, Subset,
Dedekind Completion: Ordered Set, Dedekind Complete,
Dedekind Cut:
Dedekind-Infinite: Set, Iff, Set Equivalence, Proper Subset
Dedekind-MacNeille Completion: Ordered Set, Subset, Set,
Deductive Apparatus: Formal System, Axiom, Axiom Schema, Rule ofInference, Theorem
Definable:
Definiendum: Object, Definition
Definiens: Definition, Definiendum
Definite Integral: Real Function, Lower Integral, Upper Integral
Definition: Statement, Equation, Natural Language, Symbol
Definitional Abbreviation: Formal Language, Well-Formed Formula
Degenerate Case: Object
Degenerate Connected Subset: Topological Space, Element
Degenerate Continuum: Topological Space, Degenerate Continuum, Con-tinuum (Topology), Element
39
Degenerate Distribution: Discrete Random Variable, Probability Space,Probability Mass Function, Expectation, Variance
Degenerate: Topological Space, Element
Degree (Algebraic Number):
Degree (Angular Measure): Angle, Number Base, Integer
Degree (Vertex): Undirected Graph, Vertex (Graph Theory), Edge (GraphTheory)
Degree Sequence: Graph (Graph Theory), Sequence, Degree (Vertex),Vertex (Graph Theory)
Degree: Angle, Number Base, Integer
Deleted Integer Topology: Set, Positive, Real Number, Set Difference,Integer, Partition Topology
Deleted Neighborhood:
Delta-Algebra: Delta-Ring, Unit of System of Sets, Algebra of Sets, Clo-sure (Abstract Algebra), Countable, Set Intersection
Delta-Ring: Ring of Sets, Closure (Abstract Algebra), Countable, Set In-tersection
Dense-in-itself: Topological Space, Dense-in-itself, Isolated Point (Topol-ogy)
Density:
Depend: Truth Value, Logical Implication
Depressed Polynomial:
40
Derangement: permutation, Set, finite, Cardinality
Derivative:
Derived Set: Topological Space, Subset,
Descending Chain Condition: Commutative and Unitary Ring, Mod-ule, Submodule, Sequence
Determinant of Linear Transformation: Vector Space, Field (AbstractAlgebra), Linear Transformation, Determinant, Matrix, Relative Matrix, Ba-sis (Linear Algebra)
Determinant: Permutation on n Letters, Sign of Permutation
Diagonal Map: Set, Cartesian Product, Injection, Surjection, Singleton
Diagonal Mapping: Set, Cartesian Product, Injection, Surjection, Sin-gleton
Diagonal Matrix: Triangular Matrix,
Diagonal Relation: Set, Relation
Diagonal: Set, Relation
Diagonalizable Operator: Hilbert Space, Linear Operator
Diagram (Category Theory): Metacategory,
Dialetheia: True, False
Diameter of Parallelogram:
Diameter of Quadrilateral:
Dicyclic Group: Group Presentation
41
Die: Cube, Probability Space
Diffeomorphism: Manifold, Homeomorphism
Difference Quotient: Vector Space, Real Number, Function
Differentiability Class: Real Function,
Differentiable Structure: Locally Euclidean Space, Equivalence Class,Set, Atlas, Equivalence Relation, Compatible Atlases
Differentiable:
Differential Complex: Commutative and Unitary Ring, Graded Module,Module, Differential Module
Differential Equation: Function, Variable, Derivative,
Differential Form: Mapping, Tangent Space
Differential Module: Commutative and Unitary Ring, Module, Homo-morphism (Abstract Algebra)
Differential: Mapping, Tangent Space
Differentiation: Derivative, Differentiable,
Diffuse Measure: Measure Space, Measure (Measure Theory), Atom (Sigma-Algebras)
Digit Sum: Number Base, Digit
Digit: Number, Number Base
Digital Root: Number Base, Digit Sum, Digit
Dihedral Group: Group, Symmetry Mapping, Polygon,
42
Dimension (Geometry):
Dimension (Hilbert Space): Hilbert Space, Cardinality
Dimension (Linear Algebra):
Dimension (Measurement): Physical Quantity, Dimension (Measure-ment)
Dimension (Representation Theory): Field (Abstract Algebra), Vec-tor Space
Dimension (Topology):
Dimension:
Diophantine Equation: Indeterminate Equation, Integer, Object,
Dirac Measure: Measurable Space, Measure (Measure Theory), ExtendedReal Number
Direct Limit of Sequence of Groups:
Direct Product of Group Homomorphisms:
Directed Graph: Empty Set, Set, Antireflexive Relation, Relation, Ele-ment, Arc (Graph Theory)
Directed Line Segment:
Directed Set: Set, Preordering
Directed Smooth Curve: Smooth Path (Complex Analysis), EquivalenceClass, Iff, Bijection,
Direction: Frame of Reference
Directional Derivative: Real-Valued Function, Gradient, Unit Vector, Dot
43
Product
Dirichlet Character: Ring (Abstract Algebra), Group Homomorphism
Dirichlet Convolution: Arithmetic Function, Divisor
Dirichlet Density: Prime Number
Dirichlet L-function: Dirichlet Character, Dirichlet Series
Dirichlet Series: Series, Arithmetic Function
Discharged Assumption: Valid Argument, Sequent, Logical Inference,Natural Deduction, Assumption, Proof Rule, Pool of Assumptions, Conclu-sion, Depend
Discontinuous: Continuity
Discrete Category: Metacategory, Iff
Discrete Measure: Measure Space, Series of Measures, Dirac Measure,Sequence, Measure (Measure Theory)
Discrete Metric: Metric, Kronecker Delta, Metric Space
Discrete Probability Measure:
Discrete Random Variable: Experiment, Probability Space, RandomVariable, Countable, Subset, Mapping, Elementary Event, Event Space,
Discrete Topology: Set, Power Set
Discrete Uniform Distribution: Discrete Random Variable, Probabil-ity Space, Probability Mass Function, Equiprobable Outcomes
Discrete Uniformity: Set, Uniformity, Cartesian Product, Diagonal Rela-tion, Reflexive Relation
44
Discriminant: Polynomial,
Disjoint Events: Event, Probability Space, Iff, Probability Measure, Prob-ability, Experiment, Can’t Happen
Disjoint Permutations: Symmetric Group, Permutation on n Letters,Fixed Element of Permutation
Disjoint Sets: Set, Set Intersection, Empty Set, Element
Disjoint Union (Probability Theory): Pairwise Disjoint, Set Union
Disjoint Union (Set Theory): Indexed Family of Sets, Distinct, Dis-joint Sets, Set, Set Equality, Cartesian Product, Set Union
Disjoint: Set, Set Intersection, Empty Set, Element
Disjunction: Statement
Disjunctive Normal Form: Disjunction, Conjunction, Literal
Disk: Euclidean Space, Euclidean Metric, Dimension (Topology), Bound-ary (Topology), Complex Number
Dispersion Point: Topological Space, Totally Disconnected, Set Differ-ence, Dispersion Point
Displacement: Body, Linear Measure, Position, Frame of Reference, Mag-nitude, Direction, Cartesian Coordinates, Axis
Distance-Preserving Mapping: Metric Space, Mapping
Distance:
Distinct:
Distributand: Set,
45
Distributive Lattice: Lattice, Iff, Distributive
Distributive: Set, Element
Distributor: Set,
Divergence:
Divergent Function: Real Function, Convergent Function, Limit of RealFunction, Divergent Function
Divergent Improper Integral: Improper Integral, Real Function
Divergent Sequence: Sequence, Convergent Sequence
Divergent Series: Series, Convergent Series
Divergent To Infinity:
Divide (Model Theory): Theory (Logic), Monster Model, Subset, Se-quence, Type
Division Algebra: Algebra over a Field, Zero Vector
Division Product: Commutative and Unitary Ring, Field (Abstract Al-gebra)
Division Ring:
Division Subring: Ring (Abstract Algebra), Subset, Division Ring
Divisor Function: Divisor, Tau Function, Sigma Function
Divisor:
Domain (Category Theory): Object
Domain (Set Theory):
46
Domain Functor: Metacategory, Morphism Category,
Domain:
Dominate (Analysis): Sequence
Dominate: Set, Injection, Iff
Dot Product: Vector (Euclidean Space), Column Matrix, Matrix Prod-uct (Conventional)
Double Pointed Topology: Topological Space, Doubleton,
Doubleton: Set, Element, Distinct
Dual Category: Metacategory, Object, Composition of Morphisms, Iden-tity Morphism
Dual Ordering: Ordered Set, Inverse Relation, Iff,
Dual Statement (Category Theory):
Dual Statement (Order Theory): Ordered Set, Dual Ordering, State-ment, Natural Language, Formal Language
Dummy Variable: Variable, Expression, Statement
Duplicate Ratio: Magnitude, Ratio
Dyadic Rational: Rational Number, Integer, Power (Algebra)
Dynkin System Generated by Collection of Subsets: Set, Subset,Dynkin System
Dynkin System: Set, Subset, Pairwise Disjoint, Sequence
Echelon Matrix: Matrix
47
Edge (Graph Theory): Graph (Graph Theory), Element, Vertex (GraphTheory), Arc (Graph Theory), Endvertex
Edge Contraction: Undirected Graph, Edge (Graph Theory), Object, In-cident, Adjacent (Graph Theory)
Edge Set: Graph (Graph Theory), Set, Edge (Graph Theory)
Edge-Disjoint Trail: Trail, Edge (Graph Theory)
Edgeless Graph: Graph (Graph Theory), Edge (Graph Theory), Size(Graph Theory), Vertex (Graph Theory), Isolated Vertex, Order (GraphTheory)
Effective Transformation Group: Group,
Eigenvalue:
Eigenvector: Hilbert Space, Eigenvalue, Zero Vector, Vector (Linear Al-gebra)
Either-Or Topology: Subset, Power Set, Disjunction, Logical Connective,
Eleatic School:
Electric Charge: Physical Quantity, Body, Scalar Quantity,
Electric Current: Electric Charge, Rate, Scalar Quantity, Direction
Element: Set
Elementary Embedding: Embedding (Model Theory),
Elementary Equivalence:
Elementary Event: Experiment, Element, Sample Space
48
Elementary Function: Constant Mapping, Power (Algebra), Exponential,Natural Logarithm, Trigonometric Function, Inverse Trigonometric Function
Elementary Matrix: Unique, Elementary Row Operation
Elementary Row Operation: Matrix, Field (Abstract Algebra)
Elementary Symmetric Polynomial: Field (Abstract Algebra)
Embedded:
Embedding (Galois Theory): Field (Abstract Algebra), Ring Monomor-phism
Embedding (Model Theory): Injection
Embedding (Topology): Topological Space, Injection
Embedding: Topological Space, Injection
Empty Infimum: Ordered Set
Empty Mapping: Set, Mapping, Empty Set,
Empty Sequence: Finite Sequence, Term of Sequence, Mapping, EmptyMapping, Length of Sequence
Empty Set: Set, Element
Empty Supremum: Ordered Set, Iff,
Endomorphism: Homomorphism (Abstract Algebra), Algebraic Structure
Endorelation: Cartesian Product, Set, Relation
Endvertex: Graph (Graph Theory), Edge (Graph Theory), Vertex (GraphTheory)
49
Engineering Notation:
Enough Constants: Metacategory, Iff, Constant (Category Theory)
Entire Function: Self-Map, Power Series
Entourage: Set, Quasiuniformity, Entourage, Relation
Entropic Operation: Set
Entropic Structure: Algebraic Structure, Entropic Operation
Entropic:
Entropy: Discrete Random Variable, Probability Mass Function
Enumeration:
Epigraph:
Epimorphism (Abstract Algebra): Homomorphism (Abstract Algebra),Surjection
Epimorphism (Category Theory): Metacategory, Composition of Mor-phisms
Epimorphism: Homomorphism (Abstract Algebra), Surjection
Epsilon Relation: Language of Set Theory, Element, Class, Set, Rela-tion, Ordered Pair, Class Membership, Set Variable
Equalizer: Metacategory, Morphism, Unique, Commutative Diagram
Equals: Symbol, Object
Equation: Statement, Expression, Equals
Equidecomposable: Power Set, Decomposable
50
Equidistance: Undefined Term, Point, Ostensive Definition
Equimultiples: Number, Multiple, Multiplication
Equiprobability Space: Finite Probability Space, Equiprobable Outcomes
Equiprobable Outcomes: Finite Probability Space, Probability Space,Equiprobability Space
Equivalence Class: Equivalence Relation
Equivalence Relation: Relation, Set, Reflexive Relation, Symmetric Re-lation, Transitive Relation
Equivalent (Absolute Values): Field (Abstract Algebra), Metric, Topol-ogy
Equivalent Factorizations: Integral Domain, Ring Zero, Tidy Factoriza-tion, Bijection, Associate, Multiset, Principal Ideal
Equivalent Metrics: Set, Metric, Metric Space, Sequence
Equivalent Representation: Group, Linear Representation, Iff, G-Module,Isomorphism (Abstract Algebra)
Equivalent Subobjects: Metacategory, Object (Category Theory), Cat-egory of Subobjects, Subobject, Iff, Inclusion Relation on Subobjects
Equivalent Topological Bases: Set, Subset, Power Set, Generated Topol-ogy, Iff
Equivalent: Integral Domain, Ring Zero, Tidy Factorization, Bijection,Associate, Multiset, Principal Ideal
Equivocation: Ambiguous, Logical Argument, Fallacy
Error: True, Variable
51
Euclid Number: Natural Numbers, Primorial, Prime Number
Euclid’s Definitions - Book X (II): Rational Number,
Euclid’s Definitions:
Euclidean Domain: Integral Domain, Zero (Algebra), Function
Euclidean Metric: Euclidean Space, Metric
Euclidean Norm: Vector (Euclidean Space)
Euclidean Plane: Real Number, Abstract Geometry
Euclidean Relation: Relation
Euclidean Space:
Euler Characteristic:
Euler Diagram: Set, Venn Diagram, Set Intersection
Euler Phi Function: Strictly Positive, Integer, Function, Set of CoprimeIntegers
Euler’s Number:
Euler-Mascheroni Constant: Real Number, Harmonic Numbers, Nat-ural Logarithm
Eulerian Circuit: Circuit, Vertex (Graph Theory), Graph (Graph The-ory), Edge (Graph Theory), Eulerian Path
Eulerian Graph: Eulerian Circuit,
Eulerian Path: Path (Graph Theory), Vertex (Graph Theory), Graph(Graph Theory), Edge (Graph Theory)
52
Evaluation Isomorphism: Commutative Ring, Unitary Module, Finite
Evaluation Linear Transformation: Commutative Ring, Module, Al-gebraic Dual, Mapping
Evaluation Mapping: Set, Set of All Mappings
Even Function: Symmetric Set, Real Function
Even Integer: Integer, Iff, Divisor
Even Vertex (Graph Theory): Undirected Graph, Vertex (Graph The-ory), Degree (Vertex), Even Integer
Even Vertex: Undirected Graph, Vertex (Graph Theory), Degree (Ver-tex), Even Integer
Event Space: Experiment, Set, Element, Power Set, Event
Event: Experiment, Set, Element, Power Set, Event
Everywhere Dense: Topological Space, Closure (Topology),
Exact Differential Equation: First Order Ordinary Differential Equa-tion, Homogeneous Function, Real Function, Partial Derivative,
Exact Normal Series: Group Homomorphism, Kernel of Group Homo-morphism
Exact Sequence: Module, R-Algebraic Structure Homomorphism, Kernel(Abstract Algebra)
Excircle:
Excluded Point Topology: Set, Empty Set, Subset, Power Set, Topo-logical Space
53
Excluded Set Topology: Set, Empty Set, Subset, Power Set, DisjointSets, Topological Space
Exclusive Or: Disjunction
Exhausting Sequence of Sets: Set, Subset, Sequence, Increasing Sequenceof Sets, Set Union, Limit of Increasing Sequence of Sets
Existential Quantifier: Universe of Discourse
Existential Statement: Object, Universe of Discourse, Property, State-ment, Existential Quantifier, Predicate Symbol
Expansion (Topology): Set, Topology
Expansion: Set, Topology
Expectation: Discrete Random Variable, Absolute Convergence, Proba-bility Mass Function
Experiment: Probability Space, Sample Space, Set, Event Space, Event,Probability Measure, Measure Space
Exponent:
Exponential (Category Theory): Metacategory, Object (Category The-ory), Unique, Commutative Diagram
Exponential:
Exponentiation Functor:
Expression: Well-Formed Word, Symbol, Object
Extended Absolute Value: Extended Real Number, Absolute Value,Mapping
Extended Real Addition: Extended Real Number
54
Extended Real Multiplication: Extended Real Number
Extended Real Number: Set, Real Number
Extended Real Sigma-Algebra:
Extended Real Subtraction: Extended Real Number
Extended Real Valued Function: Function, Range, Set
Extended Real-Valued Function: Set, Extended Real Number, Mapping
Extension: Relation,
Exterior (Topology): Topological Space, Set Complement, Closure (Topol-ogy), Interior (Topology)
Exterior Derivative: Differential Form, Manifold, Local Coordinates, In-jection
External Direct Product: Algebraic Structure, Set, Ordered Pair
External Direct Sum of Rings:
Extremal Clause: Formal Language, Rule of Formation, Well-FormedWord
Extremal Length: Rectifiable Curve, Modulus (Geometric Function The-ory)
Extremally Disconnected: Hausdorff Space, Closure (Topology),
F-Homomorphism: Ring with Unity, Subfield, Ring Homomorphism, Iden-tity Mapping
F-Isomorphism: Ring with Unity, Subfield
55
F-Sigma Set: Topological Space, Set, Countable, Set Union, Closed Set
Factorial: Product Notation (Algebra)
Faithful (Module Theory): Commutative and Unitary Ring, Module,Annihilator
Faithful Representation: Field (Abstract Algebra), Vector Space
Faithful: Field (Abstract Algebra), Vector Space
Fallacy: Mistake, Invalid Argument
Falling Factorial: Real Number, Integer, Factorial, Gamma Function, Ris-ing Factorial
False: Statement, Truth Value
Falsidical Paradox: False
Farey Sequence: Chain (Set Theory),
Fermat Number: Natural Numbers
Fermat Prime: Fermat Number, Prime Number
Fermat Pseudoprime: Prime Number, Composite Number, CarmichaelNumber
Fiber of Truth: Boolean Domain, Boolean-Valued Function,
Fibonacci Numbers: Sequence
Fibonacci Prime: Fibonacci Numbers, Prime Number
Field (Abstract Algebra): Trivial Ring, Division Ring, Commutative,Algebraic Structure, Iff, Abelian Group, Distributive
56
Field (Physics): Physical Quantity
Field Adjoined Element: Field Extension, Subring, Subfield
Field Automorphism: Field (Abstract Algebra), Field Homomorphism,Field Endomorphism
Field Axioms: Field (Abstract Algebra), Associative, Commutative, RingZero, Ring Negative, Unity, Distributive
Field Endomorphism: Field (Abstract Algebra), Field Homomorphism,Field Endomorphism
Field Epimorphism: Field (Abstract Algebra)
Field Extension: Field (Abstract Algebra), Subfield
Field Homomorphism: Field (Abstract Algebra), Mapping, MorphismProperty, Field Homomorphism
Field Isomorphism: Field (Abstract Algebra), Field Homomorphism, FieldIsomorphism, Bijection, Field Monomorphism, Field Epimorphism
Field Monomorphism: Field (Abstract Algebra), Field Homomorphism,Field Monomorphism, Injection
Field Norm: Field (Abstract Algebra), Field Extension, Vector Space, Lin-ear Transformation, Determinant of Linear Transformation
Field: Trivial Ring, Division Ring, Commutative, Algebraic Structure, Iff,Abelian Group, Distributive
Filter Basis: Set, Power Set, Filter on Set
Filter on Set: Set, Power Set
Filter Sub-Basis: Set, Power Set, Set of Sets, Subset, Finite IntersectionProperty, Set Intersection, Finite, Empty Set, Element, Filter Basis
57
Filter: Set, Power Set
Filtered Algebra: Graded Algebra, Field (Abstract Algebra), Algebra overa Field, Algebraic Substructure
Final Topology: Set, Indexing Set, Topological Space, Mapping, FinerTopology, Topology
Finer Topology: Set, Topology
Finished Branch of Propositional Tableau: Propositional Tableau, Fin-ished Set of Propositional WFFs
Finished Propositional Tableau: Propositional Tableau, Finished Branchof Propositional Tableau, Finite, Confutation
Finished Set of Propositional WFFs: Set, Tableau Extension Rules
Finite Cardinal: Cardinal, Iff, One (Cardinal)
Finite Category: Metacategory, Iff
Finite Complement Topology: Set, Cardinality, Infinite, Set of Sets,Relative Complement, Topological Space
Finite Difference Operator: Real Function
Finite Dimensional Module: Unitary Module,
Finite Dimensional Vector Space: Vector Space,
Finite Extended Real Number: Extended Real Number, Iff
Finite Graph: Graph (Graph Theory), Finite, Edge (Graph Theory), Ver-tex (Graph Theory), Simple Graph, Multigraph, Infinite
Finite Group: Finite Group, Group, Finite, Element
58
Finite Integral Domain: Finite Integral Domain, Integral Domain, Fi-nite Set
Finite Intersection Axiom: Topological Space, Set, Closed Set, Finite,Subset
Finite Intersection Property: Set of Sets, Property, Set Intersection,Finite, Set, Empty Set
Finite Intersection: Set of Sets, Property, Set Intersection, Finite, Set,Empty Set
Finite Measure Space: Measure Space, Finite Measure
Finite Measure: Measure (Measure Theory), Measurable Space, Iff
Finite Path: Graph (Graph Theory), Path
Finite Probability Space: Sample Space, Finite
Finite Rank Operator: Hilbert Space, Linear Transformation, Range,Finite Dimensional Vector Space, Bounded Linear Transformation
Finite Ring: Finite Ring, Ring (Abstract Algebra), Finite Set
Finite Sequence: Sequence, Finite
Finite Set: Set, Iff, Set Equivalence, Element, Natural Numbers, Subsetof Natural Numbers, Count
Finite State Machine: Ordered n-Tuple, Set
Finite:
Finitely Axiomatizable: Formal Language, Deductive Apparatus, Axiom,Axiom Schema
59
Finitely Generated Extension: Field Extension, Iff, Field (Abstract Al-gebra),
Finitely Generated Module: Module, Generator of Module, Finite Set
Finitely Generated: Module, Generator of Module, Finite Set
First Chebyshev Function: Prime Number
First Order Ordinary Differential Equation: Derivative,
First-Countable Space: Topological Space, Countable, Local Basis
Fixed Element of Permutation: Set,
Fixed Element: Set,
Fixed Point: Mapping,
Floor Function: Integer
Force of Gravity: Force, Body
Force: Body, Velocity,
Forest: Component (Graph Theory), Tree (Graph Theory)
Fork: Theory (Logic), Monster Model, Subset, Divide (Model Theory)
Forking Extension: Theory (Logic), Monster Model, Subset, Fork
Formal Derivative: Field (Abstract Algebra)
Formal Grammar: Formal Language, Rule of Formation, Word (FormalSystems),
Formal Language: Symbol, Word (Formal Systems), Formal Grammar
60
Formal Proof: Well-Formed Formula, Formal System, Sequence, Rule ofInference, Theorem
Formal System: Formal Language, Deductive Apparatus, Formal Gram-mar, Well-Formed Word, Theorem
Formula:
Fort Space: Infinite, Subset, Power Set, Finite, Set of Sets, Relative Com-plement, Topological Space
Fortissimo Space: Uncountable, Subset, Power Set, Countable, Set of Sets,Relative Complement, Topological Space
Foundational Relation: Relational Structure, Set, Iff, Non-Empty Set,Subset, Empty Set
Fourier Series: Function
Fourier Transform: Lebesgue Integral, Vector (Euclidean Space)
FPS: Units of Measurement, SI Units, Meter, Kilogram
Fractional Part: Real Number, Floor Function, Singleton
Frame of Reference:
Free Category: Directed Graph, Category, Object, Vertex, Walk, Com-position of Morphisms, Identity Morphism,
Free Commutative Monoid: Mononomial
Free Fall: Body, Gravitational Field, Force
Free Group:
Free Idempotent Monoid: Monoid, Generator, Set, Element
61
Free Module: Unitary Module, Basis (Linear Algebra)
Free Monoid: Set, Monoid, Mapping, Monoid Homomorphism
Free Occurrence: Formal Language, Predicate Calculus, Occurrence (For-mal Systems), Variable, Bound Occurrence
Free Semigroup: Semigroup, Commutative, Element
Freely Substitutable: Variable, Argument (Predicate Calculus), Free Oc-currence, Well-Formed Part, Quantifier
Frequency (Descriptive Statistics): Sample, Population, Class (Descrip-tive Statistics), Individual
Friction: Force, Velocity, Body,
Friedman Number: Number Base,
Frchet Space (Topology): Topological Space
Full Angle: Angle, Radians
Fully Normal Space: Topological Space, Fully T4 Space, Frchet Space(Topology), Open Cover, Star Refinement,
Fully T4 Space: Topological Space, Open Cover, Star Refinement
Function Symbol: Formal Language, Predicate Calculus, Letter (FormalSystems), Function, Symbol
Function: Mapping, Set, Number, Partial Function
Functional Completeness: Set, Logical Connective, Truth Table, State-ment Form
Functor Creating Colimits: Metacategory
62
Functor Creating Limits: Metacategory, Iff, Diagram (Category The-ory), Limit (Category Theory), Object (Category Theory)
Functor Preserving Limits: Metacategory, Iff, Diagram (Category The-ory), Limit (Category Theory), Composition of Functors
Functor: Category
Fundamental Matrix: Nonvanishing
Fundamental Unit (Physics): Units of Measurement, Physical Quan-tity,
G-Delta Set: Topological Space, Set, Countable, Set Intersection,
G-Module: Group, G-Module, Linear Transformation
Galois Group: Field Automorphism, Fixed Point, Group, Compositionof Mappings
Gamma Function:
Gaussian Integer: Complex Number, Integer
Gaussian Rational: Complex Number, Rational Number
GCD Domain: Integral Domain
General Euclidean Metric: Real Vector Space, Taxicab Metric
General Linear Group: Field (Abstract Algebra), Invertible Matrix, Group,Matrix Product (Conventional)
General Logarithm: Natural Logarithm, Exponential,
General Solution: Differential Equation
Generalized Momentum:
63
Generalized Sum: Commutative, Topological Semigroup, Subset, Finite,Directed Set, Net (Preordered Set), Convergent Net
Generated Topology:
Generating Function: Sequence, Mapping, Power Series, Convergent Se-ries
Generator of Algebra: Algebra over a Ring, Subset, Subalgebra
Generator of Division Subring: Division Ring, Division Subring
Generator of Field: Field (Abstract Algebra), Subset, Subfield, Subring
Generator of Group: Group, Subgroup, Singleton
Generator of Ideal: Ring (Abstract Algebra), Ideal (Ring Theory)
Generator of Module: Module, Submodule
Generator of Semigroup: Semigroup, Subsemigroup
Generator of Subring: Ring (Abstract Algebra), Subring
Generator of Subset: Algebraic Structure, Subset, Algebraic Substructure
Generator: Algebraic Structure, Subset, Underlying Set, Word (AbstractAlgebra), Finite, Element
Geometric Distribution: Discrete Random Variable, Probability Space
Geometric Figure: Point, Line, Boundary (Geometry)
Geometric Mean: Real Number, Positive, Root (Analysis)
Geometric Progression: Sequence
64
Girth: Graph (Graph Theory), Length (Graph Theory), Cycle (Graph The-ory), Acyclic Graph, Infinite
Gnomon:
Golden Mean: Reciprocal
Gradation: Ring (Abstract Algebra)
Graded Algebra: Commutative and Unitary Ring, Gradation, Algebraover a Ring, Ring (Abstract Algebra), Graded Ring
Graded Module: Graded Ring, Commutative and Unitary Ring, Mod-ule, Ring Direct Sum, Abelian Group
Graded Ring: Commutative and Unitary Ring, Gradation, Ring DirectSum, Abelian Group
Gradient:
Gram: CGS, Mass, Cube, Meter, Temperature, SI Units, Kilogram
Graph (Category Theory): Metagraph, Class, Set, Object, Mapping,Domain (Category Theory), Codomain (Category Theory),
Graph (Graph Theory): Ordered Pair, Set, Vertex Set, Subset, EdgeSet, Antireflexive Relation, Symmetric Relation, Relation, Empty Set, NullGraph
Graph Functor: Category of Sets
Graph of Mapping: Mapping
Graph: Ordered Pair, Set, Vertex Set, Subset, Edge Set, Antireflexive Re-lation, Symmetric Relation, Relation, Empty Set, Null Graph
Gravitational Constant:
65
Gravitational Field: Body, Mass, Field (Physics), Gravitational Constant,Displacement, Magnitude
Greatest Common Divisor:
Greatest:
Greedy Algorithm: Algorithm
Grothendieck Universe: Universe (Set Theory), Set, Zermelo-FraenkelAxioms, Power Set
Ground Field: Field (Abstract Algebra), Vector Space
Group Action:
Group Algebra: Field (Abstract Algebra), Finite Group, Free Module,Basis (Linear Algebra)
Group Automorphism: Group, Group Isomorphism, Group Automor-phism
Group Axioms: Group, Algebraic Structure, Associative,
Group Direct Product: Group, Ordered Pair
Group Endomorphism: Group, Group Homomorphism, Group Endomor-phism
Group Epimorphism: Group, Group Homomorphism, Group Epimor-phism, Surjection
Group Homomorphism: Group, Mapping, Morphism Property, GroupHomomorphism
Group Isomorphism: Group, Group Homomorphism, Group Isomorphism,Bijection, Group Monomorphism, Group Epimorphism
66
Group Monomorphism: Group, Group Homomorphism, Group Monomor-phism, Injection
Group of Automorphisms: Algebraic Structure, Set, Automorphism,Composition of Mappings, Group
Group of Outer Automorphisms: Group, Group of Automorphisms,Quotient Group
Group of Permutations: Set, Algebraic Structure, Composition of Map-pings
Group Presentation: Group,
Group Product: Group
Group: Semigroup, Monoid, Element,
Groupoid (Universal Algebra): Class, Small Class, Magma
Grtzsch Annulus: Modulus (Geometric Function Theory)
Gdel-Bernays Axioms:
Hadamard Product: Ring (Abstract Algebra), Matrix
Half-Open Rectangle: Real Number, Cartesian Product, Empty Set
Hall Divisor: Integer, Divisor,
Hall Subgroup: Group, Subgroup, Hall Subgroup,
Halmos Symbol: Proof, Q.E.D.
Hamilton Cycle: Graph (Graph Theory), Cycle (Graph Theory), Vertex(Graph Theory), Edge (Graph Theory), Hamiltonian Path
Hamiltonian Graph: Graph (Graph Theory), Hamilton Cycle
67
Hamiltonian Group: Group, Abelian Group, Subgroup, Normal Subgroup
Hamiltonian Path: Graph (Graph Theory), Path (Graph Theory), Cycle(Graph Theory), Vertex (Graph Theory), Edge (Graph Theory), HamiltonCycle
Harmonic Mean: Real Number, Positive, Reciprocal, Arithmetic Mean
Harmonic Number: Bounded Above
Harmonic Numbers: Bounded Above
Harshad Number: Divisor, Digit, Number Base, Niven Number
Hartogs Number: Set, Ordinal, Injection
Hasse Diagram: Set, Partial Ordering, Ordered Set, Graph (Graph The-ory), Vertex (Graph Theory), Element, Edge (Graph Theory), TransitiveRelation, Directed Graph, Divisor, Power Set
Hausdorff Space: Topological Space
Height (Ring Theory): Commutative Ring, Prime Ideal, Supremum,
Hereditarily Compact: Topological Space, Iff, Compact
Hereditary Property: Property, Set, Topological Space, Topological Sub-space
Hereditary Ring: Commutative Ring, Module
Heronian Mean: Weighted Mean, Arithmetic Mean, Geometric Mean
Heronian Triangle: Triangle (Geometry), Rational Number
Hexadecimal Numbers: Number Base, Binary Numbers
68
Hexagon:
Hexagonal Number:
Higher-Aleph Complement Topology: Set, Cardinality, Set of Sets,Subset, Relative Complement, Topological Space, Finite Complement Topol-ogy, Countable Complement Topology
Hilbert Matrix: Submatrix, Infinite Hilbert Matrix
Hilbert Space Direct Sum:
Hilbert Space: Inner Product Space, Induced Metric, Inner Product Norm,Complete Metric Space, Banach Space, Topological Space, Vector Space
Hom Class: Metacategory, Object,
Homeomorphism:
Homogeneous (Analytic Geometry):
Homogeneous (Model Theory): Theory (Logic), Infinite, Cardinal, Sub-set, Element, Cardinality, Elementary Embedding
Homogeneous (Physics): Body, Homogeneous (Physics), Distinct
Homogeneous Differential Equation: First Order Ordinary DifferentialEquation, Homogeneous Function,
Homogeneous Function: Function, Vector Space, Field (Abstract Alge-bra), Real Function, Variable
Homogeneous Linear Equations: Linear Equation,
Homogeneous Polynomial: Polynomial, Mononomial
Homogeneous:
69
Homology Group: Topological Space, Homomorphism (Abstract Algebra),
Homomorphism (Abstract Algebra): Algebraic Structure, Mapping,Morphism Property
Homomorphism (Graph Theory): Graph (Graph Theory), Mapping,Edge (Graph Theory)
Homomorphism: Algebraic Structure, Mapping, Morphism Property
Homotopy Class: Topological Space, Subset
Homotopy Group: Topological Space, Homotopy Class, Concatenation(Topology), Path-Connected, Group Isomorphism
Homotopy:
Horizontal Asymptote: Graph of Mapping, Real Function, Limit of RealFunction
Huntington Algebra: Algebraic Structure, Commutative, Distributive,Mathematical System, Ring (Abstract Algebra), Group
Hurwitz Quaternion: Quaternion, Integer
Hyperbolic Cosine: Complex Number
Hyperbolic Sine: Complex Number
Hyperbolic Tangent: Complex Number, Hyperbolic Sine
Hyperconnected: Topological Space, Empty Set, Disjoint Sets,
Hypothesis Set: Countable, Propositional Tableau
Hypothesis: Statement, Truth Value, True
Hlder Continuous:
70
Hlder Mean: Real Number
Ideal (Physics): Object
Ideal (Ring Theory): Ring (Abstract Algebra), Subgroup
Ideal: Ring (Abstract Algebra), Subgroup
Idempotent Operator: Hilbert Space,
Idempotent Ring: Ring (Abstract Algebra), Iff,
Idempotent Semigroup: Semigroup, Iff
Idempotent: Set
Identification Topology: Topological Space, Set, Mapping, Subset, El-ement
Identity (Abstract Algebra): Algebraic Structure
Identity Arithmetic Function: Number, Kronecker Delta
Identity Automorphism: Ring (Abstract Algebra), Identity Mapping
Identity Functor: Metacategory, Object,
Identity Mapping: Set, Mapping, Fixed Point, Inclusion Mapping
Identity Matrix: Ring with Unity, Ring Zero, Unity, Matrix Space, Kro-necker Delta,
Identity Morphism: Metacategory, Object (Category Theory), Domain(Category Theory), Codomain (Category Theory)
If: Logical Connective
71
Iff: Logical Connective
Image Filter: Set, Power Set, Mapping, Filter on Set
Image: Relation, Subset, Cartesian Product, Set,
Imaginary Number:
Imaginary Part (Linear Operator): Hilbert Space, Self-Adjoint Opera-tor, Complex Number
Immediate Predecessor Element: Strictly Between
Immediate Successor Element: Immediate Predecessor Element, StrictlyBetween
Immersion: Mapping, Injection
Implicit Function:
Improper Integral: Definite Integral, Real Interval, Limit of Real Function
In-Degree: Vertex (Graph Theory), Arc (Graph Theory)
Incident (Planar Graph): Planar Graph, Edge (Graph Theory), Ver-tex (Graph Theory)
Incident:
Incircle:
Included Set Topology: Set, Empty Set, Subset, Power Set, Topologi-cal Space
Inclusion Mapping: Mapping, Set
Inclusion Relation on Subobject Classes: Metacategory, Object (Cat-egory Theory), Subobject Class, Iff, Morphism
72
Inclusion Relation on Subobjects: Metacategory, Object (Category The-ory), Category of Subobjects, Subobject, Iff, Morphism
Inclusion-Reversing: Set of Sets, Mapping
Increasing Sequence of Events: Probability Space, Sequence, Event
Increasing Sequence of Extended Real-Valued Functions: Set, Se-quence, Extended Real-Valued Function, Iff, Pointwise Inequality of Ex-tended Real-Valued Functions
Increasing Sequence of Mappings: Set, Ordered Set, Sequence, Map-ping, Iff, Pointwise Inequality
Increasing Sequence of Real-Valued Functions: Set, Sequence, Real-Valued Function, Iff, Pointwise Inequality of Real-Valued Functions
Increasing Sequence of Sets: Set, Subset, Sequence
Increasing Sequence: Probability Space, Sequence, Event
Increasing Union: Nested Sequence, Set, Set Union
Increasing:
Indecomposable Continuum: Topological Space, Continuum (Topology),Indecomposable Continuum, Set Union,
Independent Events: Experiment, Probability Space, Event
Independent Random Variables: Experiment, Probability Space, Ran-dom Variable, Marginal Probability Mass Function
Independent Sigma-Algebras: Probability Space, Sub-Sigma-Algebra
Independent Subgroups: Group, Sequence, Subgroup, Iff
73
Independent: Group, Sequence, Subgroup, Iff
Indeterminate Equation: Equation, Infinite
Indeterminate Variable:
Index of Subgroup: Group, Subgroup, Coset, Coset Space, Finite, In-finite
Index: Set, Mapping
Indexed Family of Sets: Set, Power Set, Indexing Set, Subset
Indexing Set: Set, Mapping
Indiscernible: Infinite, Set, Indexing Set, Ordered n-Tuple
Indiscrete Topology: Set, Topology, Topological Space
Individual Symbol: Predicate Calculus, Symbol, Variable,
Individual: Predicate Calculus, Symbol, Variable,
Induced Equivalence: Mapping
Induced Mapping: Relation, Mapping, Power Set,
Induced Metric:
Induced Outer Measure: Subset, Set, Pre-Measure, Outer Measure, Map-ping, Power Set, Positive, Extended Real Number, Infimum, Empty Set
Induced Subgraph: Graph, Vertex (Graph Theory), Subgraph, VertexSet, Edge (Graph Theory)
Induced Topology (Metric Space):
Inductive Argument: Logical Argument, Premise, Conclusion, Contra-
74
diction, Proof
Inductive Poset: Chain (Set Theory),
Inductive Set: Subset, Real Number, Iff
Inequality:
Inertia: Body, Velocity, Force, Mass
Infimum:
Infinite Cardinal Class: Class (Class Theory), Cardinal Number
Infinite Cardinal: Cardinal, Iff, One (Cardinal)
Infinite Cyclic Group: Cyclic Group
Infinite Field: Infinite Field, Field (Abstract Algebra), Infinite Set
Infinite Group: Group, Finite Group, Infinite Set, Element
Infinite Hilbert Matrix: Infinite Matrix
Infinite Limit at Infinity: Real Function, Magnitude
Infinite Matrix: Matrix, Infinite
Infinite Measure: Measurable Space, Measure (Measure Theory), Ex-tended Real Number
Infinite Sequence: Sequence, Infinite Set, Term of Sequence
Infinite Set: Set, Finite Set, Bijection, Subset of Natural Numbers
Infinite Successor Set: Infinite Successor Set, Successor Set
Infinite: Set, Finite Set, Bijection, Subset of Natural Numbers
75
Infinity: Limit of Sequence
Infix Notation: Relation
Inflationary Mapping: Ordered Set, Mapping, Iff
Initial Condition: Ordered Pair
Initial Object: Metacategory, Object
Initial Part: String, Symbol, Initial Part, Substring
Initial Segment: Set, Element, Strictly Precede
Initial Topology:
Initial Value Problem:
Injection: Mapping, Unique, One-to-One Relation, Relation, Left-Total Re-lation
Injective Restriction: Mapping, Injection,
Injective: Mapping, Injection,
Inner Automorphism: Group, Mapping
Inner Product Norm: Inner Product Space, Field (Abstract Algebra),Inner Product, Map
Inner Product Space: Vector Space, Inner Product
Inner Product: Vector Space, Subfield, Mapping, Iff, Field (Abstract Al-gebra), Symmetric Relation
Inscribe:
76
Insertion of Generators: Set, Kleene Closure, Mapping, Element, Se-quence of n Terms
Instance: Predicate Calculus,
Integer Combination: Integer
Integer-Valued Function: Mapping
Integer:
Integers Modulo m: Integer, Quotient Set, Equivalence Relation, ResidueClass, Set of All Residue Classes, Real Number, Subset of Natural Numbers
Integrable Function: Measure Space, Measurable Function, Iff, PositivePart, Negative Part, Integral of Positive Measurable Function
Integral Closure: Ring Extension, Commutative and Unitary Ring, In-tegral Dependence
Integral Dependence: Commutative and Unitary Ring, Subring, RingExtension
Integral Domain Axioms: Integral Domain, Algebraic Structure, Asso-ciative, Commutative, Ring Zero, Ring Negative, Distributive, Unity, ProperZero Divisor, Abelian Group, Monoid
Integral Domain:
Integral Multiple:
Integral of Integrable Function over Measurable Set: Measure Space,Integrable Function, Characteristic Function
Integral of Integrable Function: Measure Space, Integrable Function,Positive Part, Negative Part
Integral of Positive Measurable Function: Measure Space, Positive,
77
Extended Real Number, Ordering on Extended Real Numbers, Integral ofPositive Simple Function, Pointwise Inequality,
Integral of Positive Simple Function: Measure Space, Standard Repre-sentation of Simple Function
Integral Polynomial: Polynomial, Coefficient, Variable, Integer
Integrally Closed:
Integrating Factor: First Order Ordinary Differential Equation, Real Func-tion, Homogeneous Function, Exact Differential Equation
Interderivable: Statement, Therefore, Conclusion, Logical Argument
Interior (Topology): Topological Space
Interior: Topological Space
Intermediate Field: Field Extension, Field (Abstract Algebra)
Internal Direct Product: Algebraic Substructure, Algebraic Structure,Operation Induced by Restriction, Mapping, Isomorphism (Abstract Alge-bra), Cartesian Product, Operation Induced by Direct Product,
Internal Group Direct Product: Subgroup, Group, Mapping, GroupIsomorphism, Group Direct Product,
Internal Hilbert Space Direct Sum: Hilbert Space, Closed Linear Span,Finite,
Interquartile Range: Quartile
Intersection (Geometry): Line, Geometric Figure, Set Intersection
Intersection Measure: Measure Space, Mapping, Measure (Measure The-ory)
78
Intersection of Relations: Set, Relation, Set Intersection, Iff
Interval of Convergence: Real Number, Power Series, Convergent Se-ries
Invalid Argument: Logical Argument, Premise, Conclusion
Invariant Measure: Measure Space, Measurable Mapping, PushforwardMeasure
Invariant Subspace: Hilbert Space, Closed Linear Subspace
Inverse (Abstract Algebra): Monoid,
Inverse (Bounded Linear Transformation): Hilbert Space, BoundedLinear Transformation,
Inverse (Logic): Conditional, Statement, True, False
Inverse Completion: Semigroup, Subsemigroup, Cancellable Element, Gen-erator of Semigroup
Inverse Entourage: Set, Quasiuniformity, Entourage
Inverse Mapping: Inverse of Mapping, Mapping
Inverse Morphism: Metacategory,
Inverse of Bijection: Bijection, Mapping, Inverse Mapping
Inverse of Mapping: Mapping, Relation
Inverse Ratio: Ratio
Inverse Relation Functor: Category of Relations, Inverse Relation
Inverse Relation: Relation
79
Inverse Semigroup: Semigroup
Inverse Subset:
Inverse Trigonometric Function:
Inverse: Relation
Invertible Element: Algebraic Structure,
Invertible Matrix: Ring with Unity, Matrix Space,
Invertible Operation: Algebraic Structure,
Invertible: Algebraic Structure,
Involution: Mapping, Inverse Mapping
Irrational Number: Rational Number, Integer
Irreducible (Ring Theory): Integral Domain, Ring Zero, Trivial Fac-torization, Associate, Proper Divisor
Irreducible (Topology): Topological Space, Proper Subset, Closed Set
Irreducible G-Module:
Irreducible: Integral Domain, Ring Zero, Trivial Factorization, Associate,Proper Divisor
Isolated Point (Complex Analysis): Subset, Real Number, EuclideanMetric
Isolated Point (Metric Space): Metric Space
Isolated Point (Real Analysis): Subset, Real Number, Euclidean Metric
Isolated Point (Topology): Topological Space
80
Isolated Point: Topological Space
Isolated Singularity: Riemann Surface, Riemann Sphere, Isolated Point(Complex Analysis), Set Complement,
Isolated Type: Theory (Logic), Model (Logic), Type,
Isolated Vertex: Undirected Graph, Vertex (Graph Theory), Degree (Ver-tex)
Isometry (Hilbert Spaces): Hilbert Space, Inner Product,
Isometry (Metric Spaces): Metric Space, Bijection, Distance-PreservingMapping
Isometry: Metric Space, Bijection, Distance-Preserving Mapping
Isomorphic Copy: Isomorphism (Abstract Algebra)
Isomorphism (Abstract Algebra): Homomorphism (Abstract Algebra),Bijection, Mapping, Monomorphism (Abstract Algebra), Epimorphism (Ab-stract Algebra), Algebraic Structure
Isomorphism (Category Theory):
Isomorphism (Graph Theory): Graph (Graph Theory), Bijection, Edge(Graph Theory), Homomorphism (Graph Theory)
Isomorphism (Hilbert Spaces): Hilbert Space, Inner Product, Surjec-tion, Isometry (Hilbert Spaces)
Isomorphism: Homomorphism (Abstract Algebra), Bijection, Mapping,Monomorphism (Abstract Algebra), Epimorphism (Abstract Algebra), Al-gebraic Structure
Isosceles Triangle:
81
Iverson’s Convention: Proposition, True, False
Jacobi Symbol: Integer, Odd Integer, Legendre Symbol
Jacobian: Open Rectangle, Vector-Valued Function
Jacobson Radical: Commutative and Unitary Ring, Maximal Ideal, SetIntersection
Jacobson Ring: Commutative and Unitary Ring, Iff, Prime Ideal, Set In-tersection, Maximal Ideal
Join (Order Theory): Ordered Set,
Join Semilattice: Ordered Set, Join (Order Theory), Ordered Structure,Semilattice (Abstract Algebra)
K-Algebra: Commutative Algebra, Field
K-Connected: Graph (Graph Theory), Vertex Cut, Vertex (Graph The-ory)
Kelvin: Temperature, Absolute Zero
Kernel (Abstract Algebra):
Kernel (Measure Theory): Measurable Space, Positive, Extended RealNumber, Mapping, Measure (Measure Theory),
Kernel of Group Homomorphism: Group Homomorphism, Subset,
Kernel of Linear Transformation: Linear Transformation, Module,
Kernel of Ring Homomorphism: Ring (Abstract Algebra), Ring Ho-momorphism, Subset, Ring Zero
Kernel Transformation of Measure: Measure Space, Kernel (MeasureTheory), Mapping
82
Kernel Transformation of Positive Measurable Function: MeasureSpace, Kernel (Measure Theory), Mapping, Measure (Measure Theory)
Kernel:
Kilogram: Mass, Weight (Physics)
Kleene Closure: Set, Finite Sequence
Klein Four-Group: Group, Element, Self-Inverse, Cayley Table
Knot: Manifold, Submanifold, Inclusion Mapping, Mapping, Embedding(Topology),
Kolmogorov Space: Topological Space
Kronecker Delta: Set, Ring with Unity, Ring Zero, Unity, Iverson’s Con-vention
Kronecker Product: Matrix,
Kronecker Sum: Kronecker Product, Matrix Entrywise Addition
Krull Dimension: Commutative and Unitary Ring,
Labeled Graph: Graph (Graph Theory), Vertex (Graph Theory), Element,Set, Symbol, Distinct,
Labeled Tree for Propositional Logic: Rooted Tree, Countable, Hy-pothesis Set,
Lagrange Basis Polynomial: Real Number, Polynomial
Language (Logic): Syntax, Formal Language,
Language of Arithmetic: Constant
83
Language of Category Theory: Formal Language, Predicate Calculus,Arity, Function Symbol,
Language of Set Theory: Formal Language, Predicate Calculus,
LAST: Formal System, Set
Latin Square: Array, Symbol,
Lattice Ordering:
Lattice:
Laurent Series: Complex Function, Analytic Function
Leading Coefficient (Matrix): Matrix, Row Matrix,
Leading Coefficient (Polynomial): Commutative and Unitary Ring
Leading Coefficient: Matrix, Row Matrix,
Leaf Node: Tree (Graph Theory), Iff, Degree (Vertex), Rooted Tree,
Least Absolute Residue: Residue Class, Absolute Value
Lebesgue Integrable Function: Lebesgue Measure, Extended Real-ValuedFunction, Iff, Integrable Function, P-Integrable Function
Lebesgue Integral: Lebesgue Measure, Lebesgue Integrable Function, In-tegral of Integrable Function
Lebesgue Measure: Half-Open Rectangle, Lebesgue Pre-Measure, Mea-sure (Measure Theory), Iff, Abuse of Notation
Lebesgue Number: Metric Space, Open Cover, Iff, Open Ball
Lebesgue Pre-Measure: Half-Open Rectangle, Mapping, Positive, Ex-tended Real Number
84
Lebesgue Space: Measure Space, Space of Measurable Functions, P-Seminorm,Equivalence Relation,
Left Cancellable Element: Algebraic Structure, Element
Left Cancellable Mapping: Mapping
Left Cancellable Operation: Algebraic Structure, Iff, Element, Left Can-cellable Element
Left Cancellable: Mapping
Left Difference Quotient: Vector Space, Real Number, Function, StrictlyNegative
Left Distributive: Set, Element
Left Ideal: Ring (Abstract Algebra), Subgroup
Left Inverse Mapping: Set, Empty Set, Mapping, Composition of Map-pings, Identity Mapping
Left Null Space: Matrix, Matrix Space, Null Space
Left Operation: Set,
Left Zero: Algebraic Structure, Element
Left-Hand Derivative: Banach Space, Real Number, Function,
Left-Total Relation: Set, Relation, Iff, Element
Legendre Symbol: Odd Prime, Function
Legendre’s Constant: Constant, Prime-Counting Function
Lemma: Statement, Theorem
85
Length (Formal Systems): Formal Language, Symbol
Length (Graph Theory):
Length of an Integer: Prime Number, Divisor
Length of Group: Finite Group, Composition Series,
Length of Sequence: Finite Sequence, Term of Sequence, Cardinality,
Letter (Formal Systems): Formal Language, Symbol, Undefined Term,Semantics,
Letter (Mathematical Theory): Mathematical Theory, Symbol, Assem-bly (Mathematical Theory)
Lexicographic Order: Set, Element
Liapunov Function:
Limit (Category Theory): Metacategory, Diagram (Category Theory),Category of Cones, Terminal Object,
Limit Inferior of a Sequence of Sets: Sequence
Limit Inferior: Real Sequence, Set, Real Number, Subsequence,
Limit of Complex Function: Complex Function, Limit of Function (Met-ric Space), Subset,
Limit of Decreasing Sequence of Sets: Decreasing Sequence of Sets
Limit of Function (Metric Space): Metric Space, Mapping, Iff,
Limit of Function:
Limit of Increasing Sequence of Sets: Increasing Sequence of Sets
86
Limit of Real Function: Real Function, Set,
Limit of Sequence (Number Field): Rational Number, Euclidean Met-ric, Standard Number Field
Limit of Sequence of Events: Probability Space
Limit of Sequence: Probability Space
Limit of Sets: Sequence, Set, Limit Superior of a Sequence of Sets, LimitInferior of a Sequence of Sets
Limit of Vector-Valued Function:
Limit Ordinal: Ordinal, Iff, Zero (Ordinal), Successor Ordinal
Limit Point: Topological Space
Limit Superior of a Sequence of Sets: Sequence
Limit Superior: Real Sequence, Set, Real Number, Subsequence,
Lindelf Space: Topological Space, Open Cover,
Line: R-Algebraic Structure Homomorphism, Module
Linear Combination:
Linear Congruence: Polynomial Congruence, Integral Polynomial
Linear Continuum: Totally Ordered Set, Iff, Dedekind Complete
Linear Equation: Field (Abstract Algebra)
Linear First Order Ordinary Differential Equation: Differential Equa-tion, Partial Derivative,
87
Linear Form: Commutative Ring, Module, Linear Transformation
Linear Functional: Vector Space, Vector Subspace, Mapping
Linear Group Action: Vector Space, Field (Abstract Algebra), Group,Group Action
Linear Measure: Displacement
Linear Momentum: Body, Mass, Velocity, Scalar Quantity, Linear Mo-mentum
Linear Operator: Linear Transformation, Module
Linear Recurrence Relation:
Linear Representation: Field (Abstract Algebra), Vector Space
Linear Span: Vector Space, Subset, Vector Subspace, Linear Combina-tion, Finite, Length of Sequence, Vector (Linear Algebra)
Linear Transformation: R-Algebraic Structure Homomorphism, Module
Linearly Dependent: Abelian Group, Ring with Unity, Ring Zero, Unity,Unitary Module
Linearly Independent: Abelian Group, Ring with Unity, Ring Zero, Unity,Unitary Module
Linearly Ordered Space: Totally Ordered Set, Order Topology
Link (Bourbaki Theory): Assembly (Mathematical Theory), Mathemat-ical Theory, Sign (Mathematical Theory), Letter (Mathematical Theory)
Link (Graph Theory): Graph (Graph Theory), Edge (Graph Theory),Loop (Graph Theory), Endvertex, Distinct, Loop-Graph
Lipschitz Continuity: Metric Space, Mapping,
88
Lipschitz Equivalence:
Lipschitz Quaternion: Quaternion, Integer
Literal: Statement, Propositional Logic, Propositional Calculus
Little-Omega: Real Function
Local Basis: Topological Space, Element, Set,
Local Coordinates: Dimension (Topology), Manifold,
Local Maximum: Real Function,
Local Membership Relation: Metacategory, Object (Category Theory),Variable Element, Subobject, Iff
Local Minimum: Real Function,
Local Ring: Ring (Abstract Algebra), Maximal Ideal, Left Ideal, RightIdeal, Ring Zero, Unity, Sum Notation,
Localisation of a Ring: Commutative and Unitary Ring, MultiplicativelyClosed, Subset, Ring Homomorphism
Locally Arc-Connected: Topological Space, Basis (Topology),
Locally Compact: Topological Space, Locally Compact, Local Basis, Com-pact
Locally Connected: Topological Space, Local Basis, Connected (Topol-ogy)
Locally Euclidean Space: Hausdorff Space, Homeomorphism, EuclideanSpace
Locally Finite Cover: Set, Cover, Element, Set Intersection, Finite
89
Locally Finite Graph: Vertex (Graph Theory), Finite, Degree (Vertex)
Locally Finite: Vertex (Graph Theory), Finite, Degree (Vertex)
Locally Path-Connected: Topological Space, Basis (Topology),
Locally Small Category: Metacategory, Iff, Hom Class, Set, Object
Locally Uniform Convergence: Sequence, Mapping, Uniform Conver-gence
Locus:
Logarithm:
Logarithmic Integral:
Logic: Statement, Truth Value, Natural Language, Mathematics
Logical Argument: Statement, Premise, Conclusion, Logical Implication,Logical Inference, Valid Argument, Invalid Argument, Sequent
Logical Complement:
Logical Connective: Object, Statement, Compound Statement, Symbol,Symbolic Logic, Arity
Logical Consequence:
Logical Graph:
Logical Implication: Valid Argument, Premise, Conclusion, Statement,Therefore, Because, Depend
Logical Inference: Natural Deduction, Statement Form, Proof Rule,
Logical Matrix: Matrix
90
Logical NAND:
Logical NOR:
Logical Not: Truth Value, Statement, Scope (Logic)
Logical Sign (Mathematical Theory): Mathematical Theory, Symbol
Logical Term: Subject, Predicate, Simple Statement, Term (Algebra)
Loop (Graph Theory): Loop-Graph, Edge (Graph Theory), Endvertex,Vertex (Graph Theory)
Loop-Digraph: Empty Set, Set, Relation, Directed Graph, AntireflexiveRelation
Loop-Graph: Empty Set, Set, Symmetric Relation, Relation, Graph (GraphTheory), Antireflexive Relation
Lower Bound:
Lower Integral: Real Function, Supremum, Subdivision, Lower Sum
Lower Limit (Topological Space): Topological Space,
Lower Limit: Topological Space,
Lower Semicontinuous: Topology,
Lower Sum: Real Function, subdivision,
Lowest Common Multiple:
Lucas Numbers: Sequence, Fibonacci Numbers
Lune: Geometric Figure,
91
Lyndon Word: String, Lexicographic Order, Rotation
Magma of Sets Generated by Collection of Subsets: Set, Power Set,Subset, Magma of Sets
Magma of Sets: Set, Subset, Iff,
Magma: Algebraic Structure,
Magnitude: Scalar Quantity
Main Connective (Propositional Calculus):
Main Connective (Propositional Logic): Compound Statement, Log-ical Connective, Scope (Logic)
Main Connective:
Manifold (Topology): Locally Euclidean Space, Differentiable Structure
Manifold: Locally Euclidean Space, Differentiable Structure
Many-to-Many Relation: Relation, Many-to-One Relation, One-to-ManyRelation, Element
Many-to-One Relation: Relation, Element, Mapping, Function
Map: Relation, Element, Set, Unique, Many-to-One Relation, Left-TotalRelation,
Mapping: Relation, Element, Set, Unique, Many-to-One Relation, Left-Total Relation,
Marginal Probability Mass Function: Probability Space, Discrete Ran-dom Variable, Probability Mass Function
Mass: Inertia, Gravitational Field, Scalar Quantity
92
Mathematical Logic: Symbolic Logic
Mathematical Model: Equation,
Mathematical System: Set, Empty Set, Element, Relation, Operation,Axiom
Mathematical Theory: Set, Logical Consequence, Element, Theorem, Ax-iom
Mathematics:
Matrix Direct Sum: Matrix, Zero Matrix,
Matrix Entrywise Addition: Matrix Space, Algebraic Structure
Matrix Equivalence: Ring with Unity, Matrix, Invertible Matrix, Iff, Lin-ear Transformation, Ordered Basis
Matrix Exponential: Initial Value Problem
Matrix Notation (Bounded Linear Operator): Hilbert Space, ClosedLinear Subspace, Isomorphism (Hilbert Spaces), Linear Transformation
Matrix Product (Conventional): Ring (Abstract Algebra), Matrix
Matrix Product: Ring (Abstract Algebra), Matrix
Matrix Scalar Product: Ring (Abstract Algebra), Matrix
Matrix Similarity: Ring with Unity, Invertible Matrix, Linear Operator,Ordered Basis
Matrix Space: Set, Matrix
Matrix: Set, Number, Mapping, Cartesian Product, Array, Row Matrix,Column Matrix
93
Max Operation: Totally Ordered Set,
Maximal Algebraic Extension: Field Extension, Set, Element, Algebraic
Maximal Chain: Chain (Set Theory), Proper Subset
Maximal Condition: Commutative and Unitary Ring, Module, Submod-ule, Inclusion Mapping
Maximal Ideal: Ring (Abstract Algebra), Ideal (Ring Theory), Set, ProperIdeal,
Maximal Spectrum of a Ring: Commutative and Unitary Ring, Max-imal Ideal, Ideal (Ring Theory), Topological Space, Topological Subspace,Spectrum of a Ring
Maximal Subgroup: Group, Proper Subgroup, Iff, Subgroup,
Maximum Spanning Tree: Spanning Tree, Maximum
Maximum: Spanning Tree, Maximum
Meager: Topological Space, Set Union, Countable, Subset, Nowhere Dense
Mean of Grouped Data: Class (Descriptive Statistics), Frequency (De-scriptive Statistics)
Measurable Function:
Measurable Mapping: Measurable Space, Mapping, Iff, Measurable Set
Measurable Set: Measurable Space, Subset
Measurable Space: Set
Measure (Geometry): Size
Measure (Measure Theory): Measurable Space, Mapping, Extended Real
94
Number, Sequence, Pairwise Disjoint, Countably Additive Function, Finite
Measure of Finite Stieltjes Function: Pre-Measure of Finite StieltjesFunction, Measure (Measure Theory),
Measure Space: Set, Measure (Measure Theory)
Measure with Density: Measure Space, Integral of Integrable Functionover Measurable Set
Median (Geometry): Triangle (Geometry), Cevian,
Mediant: Rational Number, Integer
Meet (Order Theory): Ordered Set
Meet Semilattice: Ordered Set, Meet (Order Theory), Ordered Structure,Semilattice (Abstract Algebra)
Meet: Ordered Set
Membership Relation: Set, Power Set
Meromorphic Function: Complex Function,
Mersenne Number: Natural Numbers, Prime Number
Mersenne Prime: Mersenne Number, Prime Number
Metacategory: Metagraph, Object (Category Theory), Identity Morphism,Axiom, Morphisms-Only Metacategory
Metacompact: Topological Space, Open Cover, Open Refinement, PointFinite
Metagraph: Object, Axiom
Metalanguage:
95
Metamodel: Formal System, Deductive Apparatus, Undefined Term, Sen-tence, Set, Language of Set Theory, Metacategory, Language of CategoryTheory
Metatheorem: Formal Language, Theorem
Meter:
Metric Space Axioms: Set, Element, Metric Space
Metric Space: Ordered Pair, Non-Empty Set, Set, Real-Valued Function,Metric Space Axioms
Metric Subspace: Metric Space, Metric
Metric: Ordered Pair, Non-Empty Set, Set, Real-Valued Function, Met-ric Space Axioms
Metrizable Topology: Metric Space, Induced Topology (Metric Space),Topological Space, Homeomorphism, Topology
Metrizable Uniformity:
Metrizable: Metric Space, Induced Topology (Metric Space), TopologicalSpace, Homeomorphism, Topology
Middle Cancellation Property: Semigroup
Min Operation: Totally Ordered Set,
Minimal (Model Theory): Subset, Infinite, Finite, Cofinite, Theory (Logic)
Minimal Arithmetic:
Minimal Condition: Commutative and Unitary Ring, Module, Submod-ule,
96
Minimal Infinite Successor Set: Infinite Successor Set, Set Intersection,Subset, Minimal Infinite Successor Set
Minimal Negation Operator: Boolean Domain, Multigrade Operator,Boolean Function, True, False
Minimal Polynomial: Field, Algebraic Number, Irreducible (Ring The-ory), Monic Polynomial
Minimal Topology: Set, Power Set, Topology, Propositional Function,Property, Coarser Topology
Minimization:
Minimum Degree: Graph (Graph Theory), Degree (Vertex), Vertex (GraphTheory)
Minimum Spanning Tree: Spanning Tree,
Minkowski Functional: Vector Space, Subadditive Function (MeasureTheory)
Minkowski Sum: Vector Space, Subset, Relation, Power Set, Mapping
Minor: Determinant
Mistake: Error, False
MKS: Meter, Kilogram, Units of Measurement
Modal Logic: Logic, Truth Value, True, False, Logical Graph
Model (Logic):
Model:
Modified Fort Space: Infinite Set, Singleton, Set of Sets, Finite Set, Sub-set, Cofinite, Topological Space
97
Module Automorphism: Module
Module Direct Sum: Commutative and Unitary Ring, Submodule, Fi-nite
Module Isomorphism: Module, Bijection
Module: Ring (Abstract Algebra), Abelian Group, R-Algebraic Structure,Algebraic Structure
Modulo Addition:
Modulo Multiplication: Integers Modulo m, Multiplication,
Modulo Operation: Real Number, Floor Function, Integral Multiple, In-teger, Remainder, Quotient (Algebra)
Modulus (Geometric Function Theory): Extremal Length
Modulus of Complex-Valued Function: Complex-Valued Function, Real-Valued Function
Modulus of Multiindex: Multiindex, Finite, Convergent Series
Moebius Function: Positive, Integer, Function, Divisor, Square Number,Prime Number, Square-Free
Moment of Discrete Random Variable: Discrete Random Variable, Ex-pectation, Absolute Convergence, Variance
Monic Polynomial: Commutative and Unitary Ring
Monochromatic Graph: Coloring, Vertex (Graph Theory), Edge (GraphTheory)
Monoid Category: Monoid, Category, Object, Composition of Morphisms,Identity Morphism
98
Monoid Homomorphism: Monoid, Mapping, Morphism Property, MonoidHomomorphism
Monoid: Semigroup, Algebraic Structure
Monomorphism (Abstract Algebra): Homomorphism (Abstract Alge-bra), Injection
Monomorphism (Category Theory): Metacategory, Composition of Mor-phisms
Monomorphism: Homomorphism (Abstract Algebra), Injection
Mononomial: Multiindex
Monotone (Mapping Theory):
Monotone (Measure Theory): Algebra of Sets, Mapping, Extended RealNumber
Monotone Class Generated by Collection of Subsets: Set, Subset,Monotone Class
Monotone Class: Set, Power Set, Subset, Countable, Empty Set,
Monotone:
Monotonicity:
Monster Model: Theory (Logic), Infinite, Cardinality, Cardinal, Model(Logic), Saturated Model, Homogeneous (Model Theory)
Morphism Category: Metacategory, Object, Composition of Morphisms,Identity Morphism, Commutative Diagram
Morphism of Cocones: Metacategory
99
Morphism of Cones: Metacategory
Morphism Property: Mapping, Algebraic Structure, Iff
Morphism: Mapping, Algebraic Structure, Iff
Morphisms-Only Metacategory: Metamodel, Language of Category The-ory
Multi-Value Logic: Statement
Multigrade Operator: Arity,
Multigraph: Graph (Graph Theory), Edge (Graph Theory), Vertex (GraphTheory), Set, Multiset, Subset
Multiindex: Set, Sequence, Natural Number, Indexing Set, Finite
Multilinear Mapping: Commutative Ring
Multiple Edge: Multigraph, Edge (Graph Theory), Endvertex
Multiple Pointed Topology: Topological Space, Finite Set, Cardinality,
Multiple: Integral Domain
Multiplication of Polynomial Forms: Polynomial
Multiplication:
Multiplicative Function: Function, Integer,
Multiplicative Group: Field (Abstract Algebra), Ring Zero, Group
Multiplicative Identity: Field (Abstract Algebra), Multiplicative Group,Multiplicative Identity, Unity, Ring (Abstract Algebra)
Multiplicative Inverse (Field Theory): Field (Abstract Algebra), Ring
100
Zero, Multiplicative Inverse (Field Theory)
Multiplicative Inverse: Unitary Algebra, Unit of Algebra, Zero Vector
Multiplicative Notation: Algebraic Structure, Symbol, Group,
Multiplicatively Closed: Ring with Unity, Unity, Subset
Multiplicity: Complex Function
Multiset: Set, Element
Mutatis Mutandis:
Nagata Criterion: Ring (Abstract Algebra), Multiplicatively Closed, Sub-set, Generator, Prime (Ring Theory), Element, Localisation of a Ring, UniqueFactorization Domain
Naive Set Theory: Axiomatic Set Theory, Set Theory, Universe (Set The-ory), Paradox, Set, Relation, Natural Language, Axiom, Propositional Logic,Predicate Logic
Natural Deduction: Valid Argument, Sequent, Proof Rule, Axiom, Logi-cal Inference
Natural Epimorphism:
Natural Language:
Natural Logarithm:
Natural Number:
Natural Numbers:
Naturally Ordered Semigroup: Ordered Semigroup, Well-Ordered Set,Right Cancellable Operation, Element, Unique, Distinct
101
Nearest Integer Function: Fractional Part
Negation Normal Form: Logical Connective, Logical Not, Conjunction,Disjunction, Simple Statement, Literal
Negative Binomial Distribution: Discrete Random Variable, ProbabilitySpace
Negative Part: Set, Extended Real-Valued Function,
Negative: Ordered Ring, Ring Zero
Negativity Property: Ordered Integral Domain, Positivity Property,
Neighborhood (Analysis):
Neighborhood (Graph Theory):
Neighborhood Filter: Topological Space, Set,
Neighborhood:
Nest: Sequence, Set
Nested Sequence: Sequence, Set
Net (Metric Space): Metric Space, Subset, Open Ball, Set, Element, Cover
Net (Preordered Set): Preordered Set, Mapping
Net (Set Theory): Directed Set, Function
Net: Metric Space, Subset, Open Ball, Set, Element, Cover
Network: Graph (Graph Theory), Mapping, Edge Set, Real Number
Newton (Unit): SI Units, Force, Acceleration, Mass, Kilogram, Rate, Me-ter,
102
Nicely Normed Star-Algebra: Star-Algebra, Conjugation (Abstract Al-gebra)
Nilpotent Element: Ring (Abstract Algebra), Ring Zero
Nilradical: Commutative and Unitary Ring, Prime Ideal, Set Intersection
Niven Number: Number Base, Divisor, Digit
Noetherian Module: Commutative and Unitary Ring, Module, Ideal (RingTheory), Finitely Generated, Ascending Chain Condition, Subring, MaximalCondition
Noetherian Ring: Commutative and Unitary Ring, Noetherian Module
Non-Archimedean:
Non-Empty Set: Set, Iff, Element, Empty Set
Non-Invertible Matrix: Ring with Unity
Non-Null Ideal: Ring (Abstract Algebra), Ring Zero, Ideal (Ring The-ory)
Non-Null Ring: Ring (Abstract Algebra), Element
Non-Reflexive Relation: Relation, Reflexive Relation, Antireflexive Re-lation
Non-Symmetric Relation: Relation, Symmetric Relation, AsymmetricRelation
Non-Transitive Relation: Relation, Transitive Relation, AntitransitiveRelation
Non-Trivial Group: Group, Trivial Group
103
Nondeterministic Turing Machine: Turing Machine
Nonempty: Class, Empty Set, Iff
Nonvanishing: Function, Real-Valued Function, Complex-Valued Func-tion, Ring (Abstract Algebra)
Norm (Division Ring): Division Ring, Ring Zero, Mapping, Real Num-ber, Multiplicative Function
Norm (Linear Functional): Hilbert Space, Bounded Linear Functional,Real Number
Norm (Linear Transformation): Hilbert Space, Bounded Linear Trans-formation, Real Number
Norm (Vector Space): Division Ring, Norm (Division Ring), Vector Space,Zero Vector, Mapping, Real Number,
Norm: Group, Subgroup,
Normal Closure: Group, Subset
Normal Operator: Hilbert Space, Adjoint
Normal Series: Group, Sequence, Normal Subgroup, Proper Subgroup
Normal Space: Topological Space, T4 Space, Frchet Space (Topology)
Normal Subgroup: Group, Subgroup,
Normalized Weight Function: Sequence, Real Number, Weight Func-tion
Normalizer: Group, Subset, Set, Singleton
Normed Division Algebra: Unitary Algebra, Vector Space, Field (Ab-stract Algebra), Normed Division Algebra, Norm
104
Nowhere Dense: Topological Space
NP: Nondeterministic Turing Machine
Null Graph: Graph (Graph Theory), Vertex (Graph Theory), Order (GraphTheory)
Null Ideal: Ring (Abstract Algebra), Ring Zero, Null Ring
Null Measure: Measurable Space, Measure (Measure Theory), ExtendedReal Number
Null Module: Ring (Abstract Algebra), Trivial Group, Module
Null Polynomial: Commutative and Unitary Ring,
Null Relation: Relation, Empty Set, Element
Null Ring: Ring (Abstract Algebra), Element
Null Sequence: Standard Number Field, Sequence
Null Space: Matrix
Null String: Symbol, Null String, Length (Formal Systems)
Nullity:
Number Base:
Number Field: Subfield
Number: Natural Numbers, Integer, Rational Number, Real Number, CauchySequence, Complex Number, Set, Algebraic Number, Subset, Root (Analy-sis), Polynomial, Golden Mean, Transcendental Number, Prime Number,Divisor
105
Numerator and Denominator:
O-Notation: Algorithm
Object (Category Theory): Metacategory, Object, Atom (Logic),
Object: Mathematics, Logic, Symbol, Variable, Proper Name, Property
Obtuse Angle: Angle, Right Angle, Straight Angle, Reflex Angle, Radi-ans
Occurrence (Formal Systems): Formal Language, Null String, String,Well-Formed Word
Occurrence (Predicate Calculus): String, Predicate Calculus, Symbol,Null String
Occurrence: String, Predicate Calculus, Symbol, Null String
Octal Numbers: Number Base, Hexadecimal Numbers
Octonion: Cayley-Dickson Construction, Quaternion, Nicely Normed Star-Algebra, Conjugation (Abstract Algebra)
Odd Function: Symmetric Set, Real Function
Odd Integer: Integer, Divisor, Even Integer
Odd Prime: Even Integer, Divisor, Prime Number, Odd Integer
Odd Vertex (Graph Theory): Undirected Graph, Vertex (Graph The-ory), Degree (Vertex), Odd Integer
Odd Vertex: Undirected Graph, Vertex (Graph Theory), Degree (Vertex),Odd Integer
Odd-Even Topology: Partition (Set Theory)
106
Omega-Accumulation Point: Topological Space, Infinite
One (Cardinal): Cardinal, Singleton, Element
One (Category): Category, Object, Identity Morphism
One (Ordinal): Ordinal, Successor Set, Zero (Ordinal)
One-Parameter Family of Curves: Implicit Function, Constant, Graphof Mapping, Set
One-Sided Derivative: Right-Hand Derivative, Left-Hand Derivative
One-to-Many Relation: Relation, Element,
One-to-One Relation: Relation, Many-to-One Relation, One-to-Many Re-lation, Element,
One-to-One: Relation, Many-to-One Relation, One-to-Many Relation, El-ement,
One: Relation, Element,
Ones Matrix:
Only If: Statement, True,
Open Ball: Metric Space, Metric
Open Cover: Topological Space, Subset, Cover, Iff, Element, Set Equal-ity
Open Extension Topology: Topological Space, Universe (Set Theory),Set, Open Extension Topology,
Open Invariant: Property, Set, Topological Space, Mapping, Open In-variant,
107
Open Mapping: Topological Space, Mapping, Iff,
Open Point: Topological Space, Open Point
Open Rectangle: Real Number, Cartesian Product, Empty Set
Open Refinement: Topological Space, Cover, Refinement of Cover,
Open Set Axioms: Set, Element, Subset, Power Set, Topology, Set In-tersection
Open Set:
Open: Topological Space, Subset, Cover, Iff, Element, Set Equality
Operation Induced by Direct Product: Algebraic Structure, CartesianProduct, Ordered Pair
Operation Induced by Injection: Algebraic Structure, Injection,
Operation Induced by Restriction: Magma, Subset, Submagma
Operation Induced on Quotient Set: Algebraic Structure, CongruenceRelation, Quotient Set
Operation Induced on Set of Mappings: Set, Algebraic Structure, Setof All Mappings, Mapping,
Operation: Algebraic Structure, Congruence Relation, Quotient Set
Operator Domain: Operation, Set
Opposite Group:
Opposite Magma: Magma, Iff, Operation
Or: Set, element,
108
Orbit: Group Action
Order (Graph Theory): Graph (Graph Theory), Vertex (Graph Theory),Null Graph
Order Completion: Complete Poset, injection
Order Indiscernible: Infinite, Ordered Set, Indexing Set, Chain (Set The-ory), Increasing Sequence, Ordered n-Tuple
Order Monomorphism: Mapping
Order of a Pole:
Order of a Zero: Analytic Function,
Order of an Entire Function: Entire Function,
Order of Group Element: Group, Element
Order of Integer: Integer,
Order of Structure: Algebraic Structure, Cardinality, Underlying Set, In-finite
Order Topology: Strict Upper Closure, Topology, Generated Topology
Order Type of Natural Numbers: Natural Numbers, Order Type
Order Type:
Order: Set, element,
Ordered Basis: Free Module, Sequence, Element, Basis (Linear Algebra)
Ordered Commutative Semigroup: Ordered Semigroup
Ordered Dual Basis: Commutative Ring, Module, Ordered Basis, Al-
109
gebraic Dual
Ordered Field: Ordered Ring, Field (Abstract Algebra)
Ordered Group Automorphism: Ordered Group, Mapping, Group Au-tomorphism, Group Isomorphism, Group,
Ordered Group Isomorphism: Ordered Group, Mapping, Group Iso-morphism, Group,
Ordered Group Monomorphism: Ordered Group
Ordered Group: Ordered Structure, Group
Ordered Integral Domain: Integral Domain
Ordered Monoid: Ordered Structure, Monoid
Ordered n-tuple Defined by Sequence: Finite Sequence, Term of Se-quence, Permutation, Totally Ordered Set
Ordered n-Tuple: Finite Sequence, Ordered Tuple as Ordered Set, Map-ping, Subset, Natural Numbers
Ordered Pair: Set, element,
Ordered Product: Order Type, Cartesian Product, Ordered Set
Ordered Ring Automorphism: Ordered Ring, Mapping, Ordered GroupAutomorphism, Ordered Group, Semigroup Automorphism, Semigroup
Ordered Ring Isomorphism: Ordered Ring, Mapping, Ordered GroupIsomorphism, Ordered Group, Semigroup Isomorphism, Semigroup
Ordered Ring Monomorphism: Ordered Ring, Mapping, Ordered GroupMonomorphism, Ordered Group, Semigroup Monomorphism, Semigroup
Ordered Ring: Ring (Abstract Algebra), Ordering Compatible with Ring
110
Ordered Semigroup Automorphism: Ordered Semigroup, Mapping, Semi-group Automorphism, Semigroup Isomorphism, Semigroup,
Ordered Semigroup Isomorphism: Ordered Semigroup, Mapping, Semi-group Isomorphism, Semigroup,
Ordered Semigroup Monomorphism: Ordered Semigroup, Mapping,Semigroup Monomorphism, Semigroup, Order Monomorphism,
Ordered Semigroup: Ordered Structure, Semigroup
Ordered Set: Relational Structure, Relation, Totally Ordered Set, Well-Ordered Set, Partial Ordering, Total Ordering, Well-Ordering
Ordered Square: Order Topology
Ordered Structure Automorphism: Ordered Structure
Ordered Structure Isomorphism: Ordered Structure, Mapping, Isomor-phism (Abstract Algebra), Bijection, Homomorphism (Abstract Algebra),Algebraic Structure,
Ordered Structure Monomorphism: Ordered Structure, Mapping, Monomor-phism (Abstract Algebra), Injection, Homomorphism (Abstract Algebra),Algebraic Structure, Order Monomorphism,
Ordered Structure: Algebraic Structure, Ordered Set, Relation Compati-ble with Operation
Ordered Subgroup: Ordered Structure, Ordered Group, Group, Subgroup
Ordered Subsemigroup: Ordered Structure, Ordered Semigroup, Semi-group, Subsemigroup
Ordered Sum: Order Type, Set Union, Ordered Set
Ordered Tree:
111
Ordered Tuple as Ordered Set: Ordered n-Tuple, Finite Sequence, Or-dered Pair
Ordering Compatible with Ring: Ring (Abstract Algebra), Ring Zero,Relation Compatible with Operation
Ordering Defined by Positivity Property: Ordered Ring, Ring Zero
Ordering Induced by Injection: Ordered Set, Set, Injection,
Ordering on Extended Real Numbers: Extended Real Number, Re-lation, Subset,
Ordering on Integers: Integer, Relation,
Ordering on Multiindices: Set, Multiindex, Abuse of Notation
Ordering on Natural Numbers: Natural Numbers, Strict Ordering, Re-lation
Ordinal Addition: Ordinal
Ordinal Class: Ordinal
Ordinal Exponentiation: Ordinal, Class, Limit Ordinal, One (Ordinal),Successor Set
Ordinal Function: Ordinal,
Ordinal Multiplication: Ordinal
Ordinal Subtraction: Ordinal
Ordinal Sum: Ordinal, Sequence, Limit Ordinal
Ordinal: Well-Ordered Set, Initial Segment, Strict Well-Ordering, EpsilonRelation
112
Ordinary Space: Physical Universe, Dimension (Geometry), Isomorphism(Abstract Algebra), Real Vector Space, Euclidean Space
Orthogonal (Analytic Geometry): Right Angle,
Orthogonal (Hilbert Space): Hilbert Space
Orthogonal (Linear Algebra):
Orthogonal Difference: Hilbert Space, Closed Linear Subspace
Orthogonal Group: Field (Abstract Algebra), General Linear Group, Ma-trix Product (Conventional)
Orthogonal Projection: Hilbert Space, Closed Linear Subspace,
Orthogonal Trajectories: Orthogonal
Orthogonal: Orthogonal
Orthonormal Subset: Hilbert Space, Subset
Oscillating Sequence: Standard Number Field, Sequence, Divergent Se-quence, Divergent To Infinity
Oscillation: Set, Metric Space, Mapping
Ostensive Definition: Symbol, Stipulative Definition
Out-Degree: Vertex (Graph Theory), Arc (Graph Theory)
Outer Automorphism: Group, Group Automorphism, Inner Automor-phism
Outer Limit: Hausdorff Space, Sequence, Set,
Outer Measure: Set, Power Set, Mapping, Monotone (Measure Theory),
113
Sequence, Countably Subadditive Function, Positive, Extended Real Number
Outer Product: Vector (Linear Algebra)
P-adic Norm: Set, Rational Number, Topological Space, Euclidean Metric,P-adic Valuation, Mapping, Norm, Metric
P-adic Numbers:
P-adic Valuation: Prime Number, Mapping, Exponent, Divisor
P-Group: Prime Number, Group, Order of Structure, Prime Power
P-Integrable Function: Measure Space, Measurable Function, Iff, Inte-grable Function
P-Norm: Real Number, Sequence Space
P-Seminorm: Measure Space, Lebesgue Space, Mapping, Seminorm
P-Subgroup: Group, Subgroup, P-Group
Painlev-Kuratowski Convergence: Hausdorff Space, Sequence, Set, OuterLimit
Pairwise Disjoint:
Paracompact: Topological Space, Open Cover, Open Refinement, LocallyFinite Cover
Paradox: Statement, Contradiction
Parallel:
Parameter (Descriptive Statistics): Number, Population
Parametric Operator: Indexing Set
114
Paranormal Subgroup: Group, Subgroup, Iff,
Parenthesis: Statement Form, Statement Variable, Formal Language, For-mal Grammar, Well-Formed Word
Parity (Integer): Integer, Even Integer, Odd Integer
Parity (Permutation): Symmetric Group, Permutation on n Letters, Signof Permutation
Parity Group: Cyclic Group, Order of Structure, Group, Quotient Group,Symmetric Group, Alternating Group
Parsing Sequence: Formal Language, Word (Formal Systems), Sequence,Well-Formed Word, Rule of Formation
Part: Set, Subset, Pairwise Disjoint, Set Union, Empty Set
Partial Derivative: Derivative, Constant
Partial Differential Operator:
Partial Function Equality: Partial Function
Partial Function: Function
Partial Order: Ordered Set, Iff, Connected Relation,
Partial Ordering: Ordered Set, Iff, Connected Relation,
Partial Preordering: Set, Preordering, Connected Relation, Element,
Particle: Object, Physical Universe, Ideal (Physics), Magnitude, Mathe-matical Model, Mass, Point
Particular Point Topology: Set, Empty Set, Subset, Power Set, Topo-logical Space
115
Partition (Probability Theory): Probability Space, Set, Disjoint Events,Partition (Set Theory)
Partition (Set Theory): Set, Subset, Pairwise Disjoint, Set Union, EmptySet
Partition of Unity (Hilbert Space): Hilbert Space, Projection (HilbertSpaces), Closed Linear Span,
Partition of Unity (Topology): Topological Space, Support, Locally Fi-nite
Partition of Unity: Topological Space, Support, Locally Finite
Partition Topology: Set, Partition (Set Theory), Set of Sets, Set Union,Basis (Topology)
Partition: Set, Subset, Pairwise Disjoint, Set Union, Empty Set
Partitioning: Set, Indexed Family of Sets, Empty Set, Pairwise Disjoint,Partition (Set Theory), Mapping
Pascal’s Triangle: Pascal’s Triangle, Array, Binomial Coefficient
Path (Category Theory): Graph (Category Theory), Sequence
Path (Graph Theory): Trail, Vertex (Graph Theory), Distinct, Edge(Graph Theory), Subgraph
Path (Topology): Topological Space,
Path Component: Topological Space, Relation, Partition (Set Theory),Equivalence Class
Path Graph: Tree (Graph Theory), Path (Graph Theory), Vertex (GraphTheory)
Path-Connected:
116
Path:
Peano Structure: Set, Mapping, Injection, Surjection, Set Difference,
Pentagon:
Pentagonal Number:
Percentage:
Percentile: Finite Set, Class (Descriptive Statistics), Unique
Perfect Graph: Graph (Graph Theory), Vertex, Degree (Vertex)
Perfect Number: Natural Numbers, Divisor, Sigma Function, Prime Num-ber
Perfect Set: Topological Space, Subset, Derived Set, Closed Set, IsolatedPoint (Topology), Dense-in-itself
Perfect: Natural Numbers, Divisor, Sigma Function, Prime Number
Perfectly Normal Space: Topological Space, Perfectly T4 Space, FrchetSpace (Topology), Closed Set, G-Delta Set
Perfectly T4 Space: Topological Space, T4 Space, Closed Set, G-DeltaSet, Countable, Set Intersection,
Perimeter: Boundary (Geometry)
Period: Real Function
Periodic Continued Fraction:
Periodic Function: Real Function
Periodic Process: Mathematical Model
117
Periodic: Real Function
Permutable Subgroups: Group, Subgroup, Subset Product
Permutation Group: Set, Subgroup, Group of Permutations
Permutation on n Letters: Subset of Natural Numbers,
Permutation on Polynomial: Polynomial, Symmetric Group
Permutation Symbol: Differential Form
Permutation:
Perpendicular (Linear Algebra): Zero Vector, Vector (Euclidean Space)
Perpendicular Bisector:
Perturbed Proportion:
Petersen Graph: Regular Graph, Order (Graph Theory), Size (Graph The-ory)
Philosophical Position: Statement, True, False, Mathematics, Truth Value,Axiom Schema
Physical Law: Statement, Physical Universe
Physical Quantity:
Physical Universe:
Pi: Real Number, Irrational Number
Planar Graph:
Platonic Graph: Graph (Graph Theory),
118
Poincar Plane: Real Number, Abstract Geometry
Point Finite: Set, Cover, Element, Finite
Point: Object, Ordinary Space, Size, Property, Position
Pointwise Addition of Complex-Valued Functions: Non-Empty Set,Set, Complex-Valued Function, Pointwise Operation on Complex-Valued Func-tions
Pointwise Addition of Integer-Valued Functions: Non-Empty Set, Set,Integer-Valued Function, Pointwise Operation on Integer-Valued Functions
Pointwise Addition of Mappings: Non-Empty Set, Commutative Semi-group, Set of All Mappings,
Pointwise Addition of Rational-Valued Functions: Non-Empty Set,Set, Rational-Valued Function, Pointwise Operation on Rational-Valued Func-tions
Pointwise Addition of Real-Valued Functions: Non-Empty Set, Set,Real-Valued Function, Pointwise Operation on Real-Valued Functions
Pointwise Addition: Non-Empty Set, Commutative Semigroup, Set ofAll Mappings,
Pointwise Convergence: Sequence, Real Function, Convergent Sequence
Pointwise Inequality of Extended Real-Valued Functions: Set, Ex-tended Real-Valued Function
Pointwise Inequality of Real-Valued Functions: Set, Real-Valued Func-tion
Pointwise Inequality: Set, Ordered Set, Mapping, Iff,
Pointwise Limit: Set, Sequence, Real-Valued Function, Pointwise Oper-
119
ation on Real-Valued Functions
Pointwise Maximum of Mappings: Set, Extended Real-Valued Func-tion, Max Operation, Pointwise Operation on Extended Real-Valued Func-tions, Ordering on Extended Real Numbers,
Pointwise Minimum of Mappings: Set, Mapping, Min Operation, Point-wise Operation
Pointwise Multiplication of Complex-Valued Functions: Non-EmptySet, Set
Pointwise Multiplication of Integer-Valued Functions: Non-EmptySet, Set, Integer-Valued Function,
Pointwise Multiplication of Rational-Valued Functions: Non-EmptySet, Set, Rational-Valued Function, Pointwise Operation on Rational-ValuedFunctions
Pointwise Multiplication of Real-Valued Functions: Non-Empty Set,Set, Real-Valued Function, Pointwise Operation on Real-Valued Functions
Pointwise Operation on Complex-Valued Functions: Non-Empty Set,Set, Set of All Mappings, Complex Number,
Pointwise Operation on Extended Real-Valued Functions: Set, Ex-tended Real-Valued Function, Pointwise Scalar Multiplication of ExtendedReal-Valued Functions, Extended Real Number, Arity, Operation
Pointwise Operation on Integer-Valued Functions: Non-Empty Set,Set, Set of All Mappings, Integer,
Pointwise Operation on Number-Valued Functions: Non-Empty Set,Set, Number, Set of All Mappings,
Pointwise Operation on Rational-Valued Functions: Non-Empty Set,Set, Set of All Mappings, Rational Number,
120
Pointwise Operation on Real-Valued Functions: Non-Empty Set, Set,Set of All Mappings, Real Number,
Pointwise Operation: Non-Empty Set, Set, Set of All Mappings, RealNumber,
Pointwise Scalar Multiplication of Complex-Valued Function: Non-Empty Set, Set, Complex-Valued Function, Complex Number, PointwiseMultiplication of Complex-Valued Functions, Function, Constant Mapping
Pointwise Scalar Multiplication of Extended Real-Valued Func-tions: Non-Empty Set, Set of All Mappings, Extended Real Number, Ex-tended Real Multiplication, Pointwise Operation on Extended Real-ValuedFunctions
Pointwise Scalar Multiplication of Integer-Valued Function: Non-Empty Set, Set, Integer-Valued Function, Integer, Pointwise Multiplicationof Integer-Valued Functions, Function, Constant Mapping
Pointwise Scalar Multiplication of Mappings: Ring (Abstract Alge-bra), R-Algebraic Structure, Empty Set, Set, Mapping,
Pointwise Scalar Multiplication of Number-Valued Function: Non-Empty Set, Set, Number, Set of All Mappings, Function, Constant Mapping,Multiplication,
Pointwise Scalar Multiplication of Rational-Valued Function: Non-Empty Set, Set, Rational-Valued Function, Rational Number, Pointwise Mul-tiplication of Rational-Valued Functions, Function, Constant Mapping
Pointwise Scalar Multiplication: Ring (Abstract Algebra), R-AlgebraicStructure, Empty Set, Set, Mapping,
Pointwise Supremum of Extended Real-Valued Functions: Set,
Pointwise Supremum of Real-Valued Functions: Set,
Pointwise Supremum: Set,
121
Poisson Distribution: Discrete Random Variable, Probability Space
Polygon: Intersection (Geometry),
Polygonal Number: Integer,
Polynomial Coefficient: Commutative and Unitary Ring, Ring (AbstractAlgebra)
Polynomial Congruence: Integral Polynomial
Polynomial Over Field: Field, Sequence, Finite, Ring Zero
Polynomial Ring over Ring: Ring (Abstract Algebra), Set, Sequence,Finite, Term of Sequence, Ring Zero, Operation
Polynomial: Null Polynomial, Multiindex,
Polynormal Subgroup: Group, Subgroup, Iff, Conjugate Closure, Ele-ment,
Pool of Assumptions: Proof, Natural Deduction, Assumption, depend,Premise, Conclusion
Population: Universe of Discourse, Object
Porism: Corollary
Position: Object, Frame of Reference
Positive Part: Set, Extended Real-Valued Function, Maximum,
Positive: Ordered Ring, Ring Zero
Positivity Property: Ordered Integral Domain, Positive, Natural Lan-guage, Ring Negative, Ring Zero
122
Postulate: Axiom
Power (Algebra):
Power (B-Algebra): B-Algebra
Power of Element:
Power Series:
Power Set: Set, Element, Subset, Set of Sets
Power-Associative Algebra: Algebra over a Ring, Power-Associative Al-gebra, Iff, Power-Associative, Generator of Algebra, Associative Algebra
Power-Associative:
Power: Set, Element, Subset, Set of Sets
Powers of Mappings: Mapping, Composition of Mappings, Identity Map-ping
Pre-Image Sigma-Algebra: Set, Mapping,
Pre-Measure of Finite Stieltjes Function: Pre-Measure, Mapping, Pos-itive, Extended Real Number
Pre-Measure: Set, Subset, Mapping, Positive, Extended Real Number,Pairwise Disjoint
Pre-Socratic:
Precede: Binding Priority, Propositional Calculus
Precedence (Propositional Calculus): Binding Priority, PropositionalCalculus
Predicate Calculus: Formal Language, Predicate Calculus
123
Predicate Logic: Propositional Logic, Simple Statement, Atom (Logic),Subject, Predicate, Formal System, Theorem
Predicate Symbol: Formal Language, Predicate Calculus, Letter (FormalSystems), Predicate, Relation, Symbol
Predicate: Simple Statement, Logic, Subject, Object, Atom (Logic), Logi-cal Term
Preimage:
Premise: Assumption, Logical Argument, Valid Argument, Proof
Preorder Category: Preordered Set, Category, Object, Element, Rela-tion, Ordered Pair
Preordered Set: Set, Preordering, Relational Structure
Preordering: Set, Relation, Reflexive Relation, Transitive Relation
Primal: Integral Domain, Divisor
Prime (Ring Theory): Commutative Ring, Element, Divisor, Ideal (RingTheory), Generator, Prime Ideal
Prime Decomposition: Prime Number,
Prime Enumeration Function: Function, Prime Number
Prime Exponent Function: Natural Numbers, Prime Enumeration Func-tion, Exponent, Divisor
Prime Factor: Integer, iff, Prime Number, Divisor
Prime Field: Field (Abstract Algebra),
Prime Group: Group, Prime Number
124
Prime Ideal (Order Theory): Ordered Set, Iff, Filter
Prime Ideal: Ring (Abstract Algebra), Ideal (Ring Theory)
Prime Number: Divisor
Prime Power: Prime Number
Prime Quadruplet: Set, Prime Number
Prime Subfield: Field (Abstract Algebra), Set Intersection, Subfield
Prime Triplet: Set, Prime Number
Prime-Counting Function: Function, Prime Number, Real Number
Primitive (Calculus): Real Function, Derivative
Primitive Element: Simple Extension, Field Extension
Primitive Polynomial: Indeterminate Variable, Content of a Polynomial,Polynomial Coefficient, Integer, Greatest Common Divisor
Primitive Recursion:
Primitive Recursive:
Primitive Root: Order of Integer, Euler Phi Function
Primitive: Real Function, Derivative
Primorial: Prime Number, Natural Numbers
Principal Ideal Domain: Integral Domain, Ideal (Ring Theory), Prin-cipal Ideal
Principal Ideal: Ring with Unity, Ideal (Ring Theory)
125
Principal Ultrafilter: Set, Power Set, Ultrafilter on Set, Cluster Pointof Filter
Probability Density Function: Probability Space, Continuous RandomVariable, Function, Probability Mass Function,
Probability Distribution: Probability Space, Random Variable, Push-forward Measure,
Probability Generating Function: Discrete Random Variable, Subset,Natural Numbers, Probability Mass Function, Generating Function, Sequence,Finite, Polynomial
Probability Mass Function: Probability Space, Discrete Random Vari-able, Function, Probability, Probability Measure, Normalized Weight Func-tion
Probability Measure: Experiment, Sample Space, Event Space, Mapping
Probability Space: Measure Space, Experiment, Sample Space, EventSpace, Probability Measure
Probability: Measure Space, Experiment, Sample Space, Event Space,Probability Measure
Product (Category Theory):
Product Category: Metacategory, Object, Composition of Morphisms,Identity Morphism
Product Functor: Metacategory, Product Category, Product of Morphisms
Product in Naturally Ordered Semigroup: Naturally Ordered Semi-group, Mapping, Multiplication
Product Inverse: Ring with Unity, Ring Negative
126
Product Measure Space: Sigma-Finite Measure Space, Measure Space,Product Measure
Product Measure: Sigma-Finite Measure Space, Measure (Measure The-ory)
Product Notation (Algebra): Algebraic Structure, Operation
Product Notation: Algebraic Structure, Operation
Product of Cardinals: Set, Cardinal
Product of Differences:
Product of Ideals: Commutative Ring, Ideal (Ring Theory)
Product of Measurable Spaces: Measurable Space, Product Sigma-Algebra
Product of Morphisms: Metacategory, Object, Unique
Product of Relations:
Product Sigma-Algebra: Measurable Space, Sigma-Algebra Generatedby Collection of Subsets, Cartesian Product,
Product Space:
Product: Naturally Ordered Semigroup, Mapping, Multiplication
Projection (Analytic Geometry): Mapping, Set Intersection, Parallel
Projection (Hilbert Spaces): Hilbert Space, Idempotent Operator, Iff,Kernel (Abstract Algebra),
Projection (Mapping Theory): Set, Cartesian Product, Mapping
Projection Functor: Metacategory
127
Projection: Set, Cartesian Product, Mapping
Projective Module: Ring (Abstract Algebra), Module, Module DirectSum, Free Module
Projective Object: Metacategory, Object, Iff, Epimorphism (CategoryTheory), Commutative Diagram
Projective Space: Equivalence Relation, Dimension (Topology),
Pronormal Subgroup: Group, Subgroup, Iff,
Proof Rule: Natural Deduction, Statement Form
Proof: Valid Argument, Assumption, Premise, True, False, Proposition
Proper Coloring:
Proper Divisor: Integral Domain, Unity, Iff, Divisor, Associate,
Proper Element of a Ring: Ring Zero, Ring (Abstract Algebra),
Proper G-Submodule: G-Module,
Proper Ideal: Ring (Abstract Algebra), Subgroup, Ideal (Ring Theory),Proper Subset
Proper Name: Symbol, Object, Natural Language
Proper Subgroup: Subgroup
Proper Subring: Ring (Abstract Algebra), Subring, Null Ring
Proper Subset: Set, Subset
Proper Zero Divisor: Ring (Abstract Algebra), Proper Zero Divisor, Ele-ment, Zero Divisor of Ring, Ring Zero,
128
Property: Object
Proportion: Real Number, Variable, Constant
Proposition: Statement, True, False, Proof
Propositional Calculus: Formal System, Propositional Logic, Formal Lan-guage, Formal Grammar, Well-Formed Formula
Propositional Expansion: Universe of Discourse, Object, Infinite
Propositional Function: Object, Universe of Discourse, Truth Value
Propositional Logic: Truth Value, Statement Form, Atom (Logic), SimpleStatement, Natural Deduction, Valid Argument, Sequent, Proof Rule, Axiom
Propositional Tableau Chain: Finite, Infinite, Sequence, Labeled Treefor Propositional Logic, Hypothesis Set, Tableau Extension Rules, Leaf Node
Propositional Tableau Extension: Propositional Tableau, Tableau Ex-tension Rules
Propositional Tableau: Finite, Infinite, Sequence, Labeled Tree for Propo-sitional Logic, Hypothesis Set, Tableau Extension Rules, Leaf Node
Prfer Domain: Integral Domain
Prfer Sequence: Sequence, Integer
Pseudocompact: Topological Space, Real-Valued Function,
Pseudograph:
Pseudometric: Real-Valued Function, Metric, Distinct, Strictly Positive
Pseudometrizable Topology: Topological Space, Homeomorphism, Topol-ogy
129
Pseudometrizable Uniformity:
Pseudometrizable:
Pullback (Category Theory): Metacategory, Codomain (Category The-ory), Commutative Diagram, Unique
Pullback Functor: Metacategory, Pullback (Category Theory), Slice Cat-egory,
Pullback: Group, Isomorphism (Abstract Algebra)
Punctiform: Topological Space, Subset, Punctiform,
Pure Set Theory: Set Theory, Element, Set
Pure Transcendental Extension: Field (Abstract Algebra), Field Ex-tension, Polynomial
Pushforward Measure: Measurable Space, Measure (Measure Theory),Measurable Mapping, Mapping, Extended Real Number
Pyramidal Number: Integer, Sequence, Polygonal Number,
Pythagorean Equation: Diophantine Equation, Integer, Pythagorean Triple,
Pythagorean Triple: Ordered n-Tuple, Pythagorean Equation
Q.E.D.: Proof, Statement, Halmos Symbol
Quadratic Algebra: Filtered Algebra, Generator of Module, Vector Space,
Quadratic Form: Quadratic Form, Homogeneous Polynomial,
Quadratic Irrational: Irrational Number, Rational Number, Square Num-ber
Quadratic Real Algebra: Quadratic Algebra
130
Quadratic Residue:
Quadrature: Area
Quadrilateral: Polygon,
Quantifier: Universal Quantifier, Existential Quantifier
Quartic Equation: Field
Quartile: Finite Set, Class (Descriptive Statistics), Unique,
Quasicomponent: Topological Space, Relation, Connected Between TwoPoints, Separation (Topology), Partition (Set Theory), Equivalence Class
Quasigroup: Magma, Regular Representations, Permutation
Quasimetric: Real-Valued Function, Metric Space Axioms, Subset, Met-ric, Distinct, Commutative
Quasiuniform Space: Quasiuniformity, Set, Topology, Topological Space,Quasiuniform Space
Quasiuniformity: Set, Set of Sets, Cartesian Product, Diagonal Relation,Filter, Composition of Relations
Quasiuniformizable: Topological Space, Quasiuniformity, QuasiuniformSpace
Quaternion Group: Dicyclic Group, Group Presentation, Cayley Table
Quaternion: Dicyclic Group, Group Presentation, Cayley Table
Quintic Equation: Field (Abstract Algebra)
Quotient (Algebra): Modulo Operation
131
Quotient Field: Integral Domain, Field (Abstract Algebra), IsomorphicCopy, Subring
Quotient Group: Group, Normal Subgroup, Group Product
Quotient Mapping: Equivalence Relation, Equivalence Class, QuotientSet, Element
Quotient Ring: Ring (Abstract Algebra), Ideal (Ring Theory), AlgebraicStructure
Quotient Set: Equivalence Relation, Set, Equivalence Class, Set of Sets,Power Set
Quotient Structure: Algebraic Structure, Congruence Relation, QuotientSet, Operation Induced on Quotient Set,
Quotient Topology: Topological Space, Equivalence Relation, QuotientMapping, Quotient Topology, Element, Quotient Set, Topology
Quotient: Equivalence Relation, Set, Equivalence Class, Set of Sets, PowerSet
R-Algebraic Structure Automorphism: R-Algebraic Structure, R-AlgebraicStructure Isomorphism, R-Algebraic Structure Automorphism, Module, Vec-tor Space
R-Algebraic Structure Endomorphism: R-Algebraic Structure, R-AlgebraicStructure Homomorphism, R-Algebraic Structure Endomorphism, Module,Vector Space
R-Algebraic Structure Epimorphism: R-Algebraic Structure, Surjec-tion, Module, Vector Space
R-Algebraic Structure Homomorphism: Ring (Abstract Algebra), R-Algebraic Structure, Mapping, Iff, Module, Vector Space
R-Algebraic Structure Isomorphism: R-Algebraic Structure, R-Algebraic
132
Structure Homomorphism, R-Algebraic Structure Isomorphism, Bijection
R-Algebraic Structure Monomorphism: R-Algebraic Structure, Injec-tion, R-Algebraic Structure Homomorphism, Module, Vector Space
R-Algebraic Structure: Ring (Abstract Algebra), Algebraic Structure,
Radian: Angle, Circle, Linear Measure,
Radians: Angle, Circle, Linear Measure,
Radical Ideal: Commutative and Unitary Ring, Ideal (Ring Theory), Rad-ical of Ideal
Radical of an Integer: Integer, Product, Prime Factor, Square-Free, Di-visor
Radical of Ideal: Commutative and Unitary Ring, Ideal (Ring Theory)
Radicand: Root (Analysis), Expression, Object
Radius of Convergence:
Ramanujan Sum:
Ramsey Number: Complete Graph, Monochromatic Graph, Subgraph,Edge (Graph Theory), Order (Graph Theory)
Random Selection: Object, Experiment, Random Variable
Random Variable:
Range of Sequence: Sequence, Set
Range: Relation, Mapping
Rank (Linear Algebra):
133
Rank (Set Theory): Set, Von Neumann Hierarchy
Rank:
Rate: Derivative, Time, Displacement
Ratio Ex Aequali:
Ratio:
Rational Function: Real Number,
Rational Number:
Rational Sequence: Sequence, Infinite Sequence, Codomain of Sequence,Rational Number
Rational-Valued Function: Mapping, Rational Number,
Ray (Order Theory): Totally Ordered Set, Reflexive Reduction, StrictUpper Closure, Weak Upper Closure,
Ray (Topology): Topological Space, Embedding (Topology)
Real Algebra: Algebra over a Field, Field (Abstract Algebra)
Real Element in Star-Algebra: Star-Algebra
Real Function: Mapping, Function, Subset, Real Number
Real Interval: Set, Real Number
Real Matrix: Matrix, Real Number
Real Number Plane: Point, Bijection, Real Vector Space, Ordered n-Tuple, Coordinate
Real Number: Rational Number, Cauchy Sequence, Equivalence Relation,
134
Equivalence Class, Set
Real Part (Linear Operator): Hilbert Space, Self-Adjoint Operator,Complex Number
Real Sequence: Sequence, Infinite Sequence, Codomain of Sequence, RealNumber
Real Star-Algebra: Star-Algebra, Conjugation (Abstract Algebra)
Real Vector Space: Real Number
Real-Valued Function: Mapping, Real Number,
Reciprocal Proportion: Geometric Figure
Reciprocal Relation:
Reciprocal: Real Number, Real Function
Rectifiable Curve: Finite,
Rectification: Linear Measure,
Recursive Sequence: Sequence
Recursive:
Reduced Residue System: Euler Phi Function, Integer, Congruence (Num-ber Theory), Residue Class
Reduced Ring: Ring (Abstract Algebra), Nilpotent Element, Ring Zero
Reducible G-Module:
Reducible Linear Representation: Linear Representation, Iff, InvariantSubspace, Linear Operator, Set
135
Reducing Subspace: Hilbert Space, Closed Linear Subspace, InvariantSubspace
Refinement of Cover: Set, Cover, Subset
Refinement of Normal Series: Group, Normal Series, Normal Subgroup
Refinement: Set, Cover, Subset
Reflex Angle: Angle, Straight Angle, Full Angle, Radians
Reflexive Closure: Relation, Set
Reflexive Reduction: Relation, Set, Antireflexive Relation, Subset
Reflexive Relation: Relation
Reflexive Transitive Closure: Relation, Set, Reflexive Closure, Tran-sitive Closure, Reflexive Relation, Transitive Relation, Subset
Reflexivity: Relation
Region:
Regular Cardinal: Infinite Cardinal Class, Iff, Cofinality
Regular Closed: Topological Space, Closure (Topology), Interior (Topol-ogy)
Regular Expression:
Regular Graph: Simple Graph, Vertex (Graph Theory), Degree (Vertex),Cubic Graph
Regular Open: Topological Space, Interior (Topology), Closure (Topology)
Regular Representations: Algebraic Structure
136
Regular Space: Topological Space, T3 Space, Kolmogorov Space
Regular Value: Manifold, Surjection
Reidemeister Move:
Relation Compatible with Operation: Endorelation, Iff
Relation Conversely Compatible with Operation: Endorelation, Iff
Relation Induced by Partition: Set, Partition (Set Theory), Relation
Relation Isomorphism: Relational Structure, Bijection
Relation Strongly Compatible with Operation: Endorelation, Iff, Re-lation Compatible with Operation, Relation Conversely Compatible with Op-eration
Relation: Cartesian Product, Set, Subset, Trivial Relation, Complementof Relation
Relational Closure: Class, Relation, Small Class, Transitive with Respectto a Relation
Relational Loop: Relation, Set
Relational Structure: Ordered Pair, Set, Endorelation
Relative Complement: Set, Subset, Set Difference
Relative Frequency Model: Mathematical Model, Probability, EventSpace, Finite, Elementary Event
Relative Frequency: Mathematical Model, Probability, Event Space, Fi-nite, Elementary Event
Relative Matrix: Commutative and Unitary Ring, Ordered Basis, Module,Set of All Linear Transformations, Matrix, Linear Transformation, Module
137
Automorphism
Relatively Compact: Topological Space, Topological Subspace, Closure(Topology), Compact
Relativisation: Well-Formed Formula, Language of Set Theory, Class
Remainder: Modulo Operation
Removable Discontinuity:
Renaming Mapping: Mapping, Induced Equivalence, Quotient Set, Equiv-alence Class
Repdigit Number: Number Base
Replicative Function: Real Function
Residue (Complex Analysis): Complex Function, Analytic Function,Laurent Series
Residue Class: Congruence (Number Theory), Set, Equivalence Class
Residue: Complex Function, Analytic Function, Laurent Series
Rest Mass: Body, Mass, Rest
Rest:
Restricted Existential Quantifier: Definitional Abbreviation, Well-FormedFormula, Language of Set Theory
Restricted Measure: Measure Space, Sub-Sigma-Algebra, Mapping,
Restricted Universal Quantifier: Definitional Abbreviation, Well-FormedFormula, Language of Set Theory
Restriction of Ordering: Ordered Set, Subset, Relation, Cartesian Prod-
138
uct,
Restriction:
Retract: Metacategory,
Retraction: Metacategory,
Reversed Contour: Contour (Complex Analysis), Concatenation of Con-tours, Finite Sequence, Directed Smooth Curve, Reversed Directed SmoothCurve
Reversed Directed Smooth Curve: Directed Smooth Curve, SmoothPath (Complex Analysis)
Riemann Sphere: Inclusion Mapping
Riemann Sum: Real Function, Subdivision, Sum Notation
Riemann Surface:
Riemann Zeta Function: Complex Function, Dirichlet Series
Rig: Mapping
Right Angle: Angle, Straight Angle, Radians
Right Cancellable Element: Algebraic Structure, Element
Right Cancellable Mapping: Mapping
Right Cancellable Operation: Algebraic Structure, Iff, Element, RightCancellable Element
Right Cancellable: Mapping
Right Difference Quotient: Vector Space, Real Number, Function
139
Right Distributive: Set, Element
Right Ideal: Ring (Abstract Algebra), Subgroup
Right Inverse Mapping: Set, Empty Set, Mapping, Composition of Map-pings, Identity Mapping
Right Operation: Set,
Right Zero: Algebraic Structure, Element
Right-Angled Triangle: Right Angle
Right-Hand Derivative: Banach Space, Real Number, Function,
Right-Total Relation: Set, Relation, Element, Mapping, Surjection, In-verse Relation, Left-Total Relation
Ring (Abstract Algebra): Semiring (Abstract Algebra), Abelian Group,Associative, Commutative,
Ring Automorphism: Ring (Abstract Algebra), Ring Isomorphism, RingAutomorphism
Ring Axioms: Ring (Abstract Algebra), Algebraic Structure, Associative,Commutative, Ring Zero, Ring Negative, Distributive, Abelian Group
Ring Direct Sum: Ring (Abstract Algebra), Finite Sequence, Subring,Cartesian Product, Iff, Mapping, Ring Isomorphism
Ring Endomorphism: Ring (Abstract Algebra), Ring Homomorphism,Ring Endomorphism
Ring Epimorphism: Ring (Abstract Algebra), Ring Homomorphism, RingEpimorphism, Surjection
Ring Extension: Commutative and Unitary Ring, Ring Monomorphism,Subring, Identity Mapping, Ring Isomorphism
140
Ring Homomorphism: Ring (Abstract Algebra), Mapping, MorphismProperty, Ring Homomorphism
Ring Isomorphism: Ring (Abstract Algebra), Ring Homomorphism, RingIsomorphism, Bijection, Ring Monomorphism, Ring Epimorphism
Ring Monomorphism: Ring (Abstract Algebra), Ring Homomorphism,Ring Monomorphism, Injection
Ring Negative: Inverse (Abstract Algebra), Element, Ring (Abstract Al-gebra)
Ring of Idempotents: Commutative Ring, Set, Algebraic Structure, Idem-potent Ring
Ring of Integers of a Number Field: Number Field
Ring of Sets: Empty Set, System of Sets, Set Intersection, SymmetricDifference, Algebraic Structure
Ring Subtraction: Ring (Abstract Algebra), Ring Negative
Ring with Unity: Non-Null Ring, Semigroup, Unity, Monoid
Ring Zero: Ring (Abstract Algebra),
Ring: Set, Element, Distributive, Associative, Distributor, Distributand
Ringoid: Set, Element, Distributive, Associative, Distributor, Distributand
Rising Factorial: Real Number, Integer, Gamma Function, Factorial, FallingFactorial
Roman Numerals: Abacism, Arabic Numerals, Algorism
Root (Analysis): Integer, Iff, Square Root,
141
Root of Function: Function, Ring (Abstract Algebra),
Root of Polynomial: Commutative and Unitary Ring, Ring Zero, Unity,
Root: Integer, Iff, Square Root,
Rooted Tree: Tree (Graph Theory), Countable,
Roots of Unity: Field (Abstract Algebra)
Rotation: String,
Row Equivalence: Matrix, Elementary Row Operation
Row Matrix: Matrix,
Row Space: Matrix,
Rule of Formation: Formal Language, Word (Formal Systems), Well-Formed Word, String, Symbol, Formal Grammar, Natural Language
Rule of Inference: Formal System, Formal Language, Deductive Appa-ratus, Theorem, Axiom
Russell Class: Class, Set, Element
Sample Space: Experiment, Set, Elementary Event
Sample: Experiment, Set, Elementary Event
Saturated Model: Theory (Logic), Infinite, Cardinal, Subset, Cardinal-ity, Natural Numbers, Type
Scalar Field: Vector Space, Field (Abstract Algebra), Abelian Group,Scalar Field
Scalar Quantity: Mathematical Model, Object, Speed, Magnitude, Ve-locity, Direction
142
Scalar Ring: R-Algebraic Structure, Ring (Abstract Algebra), AlgebraicStructure, Scalar Ring
Scattered Space: Topological Space, Scattered Space, Empty Set, Sub-set, Dense-in-itself, Isolated Point (Topology)
Scheme of Abbreviation: Natural Language, Statement Form, SymbolicLogic, Simple Statement, Statement Label, Conclusion
Schreier Domain: Ring (Abstract Algebra), Integrally Closed, IntegralDomain, Primal
Schwarz Function: Function
Scope (Logic): Logical Connective, Statement, Simple Statement, Com-pound Statement,
Scope (Predicate Calculus): Formal Language, Predicate Calculus, Oc-currence (Formal Systems), Quantifier, Well-Formed Part, Parenthesis,
Scope (Propositional Calculus): Formal Language, Propositional Cal-culus
Scope: Formal Language, Predicate Calculus, Occurrence (Formal Sys-tems), Quantifier, Well-Formed Part, Parenthesis,
Secant:
Second Chebyshev Function: Power (Algebra), Prime Number
Second Order Ordinary Differential Equation: Derivative,
Second Order Partial Differential Equation: Derivative,
Second-Countable Space: Topological Space, Topology,
Section (Category Theory): Metacategory,
143
Section (Geometry): Line, Intersection (Geometry)
Section:
Sector: Circle,
Segment of Circle:
Seifert Matrix: Generator,
Self Distributive:
Self-Adjoint Operator: Hilbert Space, Adjoint
Self-Inverse: Monoid, Element, Iff,
Self-Map: Set, Mapping
Self-Normalizing Subgroup: Group, Subgroup, Iff, Normalizer
Semantics: Natural Language, Formal Language
Semi-Eulerian Graph: Graph (Graph Theory), Eulerian Path, SimpleGraph, Loop-Graph, Multigraph, Eulerian Graph, Eulerian Circuit, Path(Graph Theory)
Semi-Hamiltonian Graph: Graph (Graph Theory), Hamiltonian Path,Hamilton Cycle
Semigroup Automorphism: Semigroup, Semigroup Isomorphism, Semi-group Automorphism
Semigroup Endomorphism: Semigroup, Semigroup Homomorphism, Semi-group Endomorphism
Semigroup Epimorphism: Semigroup, Semigroup Homomorphism, Semi-group Epimorphism, Surjection
144
Semigroup Homomorphism: Semigroup, Mapping, Morphism Property,Semigroup Homomorphism
Semigroup Isomorphism: Semigroup
Semigroup Monomorphism: Semigroup, Semigroup Homomorphism, Semi-group Monomorphism, Injection
Semigroup with respect to an Equivalence Relation: Class, Equiva-lence Relation, Groupoid (Universal Algebra),
Semigroup: Magma, Iff, Associative, Algebraic Structure,
Semihereditary Ring: Commutative Ring, Module
Semilattice (Abstract Algebra): Semigroup, Iff, Commutative, Alge-braic Structure
Seminorm: Division Ring, Norm (Division Ring), Vector Space, Zero Vec-tor, Mapping, Norm (Vector Space)
Semiperimeter: Perimeter
Semiprime: Integer, Multiplication, Distinct, Prime Number
Semiregular Space: Topological Space, Hausdorff Space, Regular Open,Basis (Topology)
Semiring (Abstract Algebra): Ringoid, Semigroup, Associative, Dis-tributive
Semiring of Sets: System of Sets, Stable under Intersection, Finite Se-quence, Pairwise Disjoint, Set, Empty Set
Semiring: Ringoid, Semigroup, Associative, Distributive
Sentence:
145
Separable Space: Topological Space, Countable, Subset, Everywhere Dense
Separable: Topological Space, Countable, Subset, Everywhere Dense
Separated by Closed Neighborhoods: Topological Space
Separated by Function: Topological Space, Urysohn Function, Single-ton
Separated by Neighborhoods: Topological Space
Separated Quasiuniformity: Quasiuniformity, Set, Set Intersection, En-tourage, Diagonal Relation
Separated:
Separation (Topology): Topological Space, Non-Empty Set, Partition(Set Theory), Set
Separation Axioms: Topological Space, Axiom, Topology
Separation of Ratio: Ratio
Sequence Coding:
Sequence of Distinct Terms: Injection, Subset, Sequence, Term of Se-quence, Distinct
Sequence of n Terms: Finite Sequence, Length of Sequence
Sequence Space: Vector Subspace, Vector Space, Complex Sequence
Sequence: Mapping, Subset, Indexing Set
Sequent: Expression, Premise, Conclusion, Logical Argument
Sequentially Compact: Topological Space, Iff, Infinite Sequence, Sub-
146
sequence,
Sequentially Continuous: Topological Space, Mapping, Iff, Sequence,
Serial Relation: Relation
Series of Measures: Measurable Space, Sequence, Measure (Measure The-ory), Positive, Real Number, Mapping
Series:
Sesquilinear Form: Hilbert Space, Mapping, Bilinear Mapping
Set Complement: Set, Universe (Set Theory), Relative Complement
Set Difference: Set, Element
Set Equality: Set, Equals, Element
Set Equivalence: Set, Bijection, Element
Set Intersection: Set, Element, Non-Empty Set
Set of All Linear Transformations: Module, Linear Transformation,Scalar Ring, Linear Operator
Set of All Mappings: Set, Mapping
Set of All Residue Classes: Congruence (Number Theory), Set, ResidueClass, Quotient Set, Partition (Set Theory)
Set of Coprime Integers: Integer, Set, Integers Modulo m, Prime Num-ber, Set Difference
Set of Integer Multiples: Set, Divisor
Set of Orbits:
147
Set of Sets: Set, Element
Set Product: Set, Mapping, Unique, Commutative Diagram
Set Theory: Mathematics, Set
Set Union: Set, Element,
Set Variable: Language of Set Theory
Set: Object, Element, Comprehension Principle
Sheffer Operator: Logical Connective, Singleton
SI Units:
Sierpiski Number: Odd Integer, Integer, Composite Number
Sierpiski Space: Particular Point Topology, Excluded Point Topology
Sigma Function: Integer, Divisor, Sum Over Divisors
Sigma-Algebra Generated by Collection of Mappings: MeasurableSpace, Set, Mapping, Measurable Mapping
Sigma-Algebra Generated by Collection of Subsets: Set, Subset,
Sigma-Compact: Topological Space, Set Union, Countable, Compact
Sigma-Finite Measure Space: Measure Space, Sigma-Finite Measure
Sigma-Finite Measure: Measure (Measure Theory), Measurable Space,Exhausting Sequence of Sets
Sigma-Locally Compact: Topological Space, Sigma-Compact, LocallyCompact, Set Union, Countable, Compact, Local Basis
Sigma-Locally Finite Basis: Topological Space, Basis (Topology), Count-
148
able, Set Union, Locally Finite Cover
Sigma-Ring: Ring of Sets, Closure (Abstract Algebra), Countable, SetUnion
Sign (Formal Systems): Formal Language, Symbol, Formal Grammar,Well-Formed Formula,
Sign (Mathematical Theory): Mathematical Theory, Symbol, LogicalSign (Mathematical Theory), Letter (Mathematical Theory), Specific Sign(Mathematical Theory), Sign (Formal Systems)
Sign of Permutation: Symmetric Group, Real Sequence, Product of Dif-ferences
Signed Area: Graph of Mapping, Cartesian Coordinates, Area, Positive,negative
Signed Graph: Edge (Graph Theory)
Signum Function:
Similar Figures: Angle, Proportion
Similar Triangles: Similar Triangles, Triangle (Geometry), Angle
Simple Extension: Field Extension, Field (Abstract Algebra), Genera-tor of Field
Simple Function: Measurable Space, Real-Valued Function, Finite, Lin-ear Combination, Characteristic Function, Real Number, Measurable Set
Simple Graph: Graph (Graph Theory), Multigraph, Edge (Graph The-ory), Vertex (Graph Theory), Loop-Graph, Loop (Graph Theory), Undi-rected Graph, Doubleton, Ordered Pair, Mapping
Simple Group: Group, Iff, Trivial Group, Normal Subgroup
149
Simple Random Sample: Population, Sample, Cardinality, Iff, Individ-ual, Random Selection, Combination
Simple Statement: Statement, Subject, Predicate
Simply Connected: Path-Connected, Trivial Group
Simultaneous Congruences: Polynomial Congruence
Simultaneous Equations:
Sine Integral: Real Function
Sine:
Singleton: Set, Element
Singular Boolean Function: Boolean Function, Fiber of Truth, Element,Boolean Domain, Model (Logic)
Singular Cardinal: Infinite Cardinal Class, Iff, Cofinality
Singular Conjunction: Boolean Domain, Proposition, Conjunction, Lit-eral, Complementary Pair,
Singular Statement: Statement, Object, Proper Name
Singular: Statement, Object, Proper Name
Size (Graph Theory): Graph (Graph Theory), Edge (Graph Theory),Edgeless Graph
Size: Graph (Graph Theory), Edge (Graph Theory), Edgeless Graph
Skew Field: Division Ring, Commutative
Skolem Sequence:
150
Slice Category: Metacategory, Object, Codomain (Category Theory), Com-position of Morphisms, Identity Morphism, Commutative Diagram
Slice Functor: Metacategory, Category of Categories, Slice Category, Com-position Functor on Slice Categories,
Small Category: Metacategory, Iff, Object, Set,
Small Class: Class, Iff, Class Equality, Set Variable
Small: Metacategory, Iff, Object, Set,
Smallest:
Smooth Differentiable Structure: Locally Euclidean Space, Differen-tiable Structure
Smooth Homotopy: Topological Space,
Smooth Path (Complex Analysis): Path (Topology), Real Function,Complex Number, Iff, Continuously Differentiable
Smooth Real Function: Real Function, Differentiability Class, Deriva-tive
Smooth: Real Function, Differentiability Class, Derivative
Solid Figure:
Solvable Group: Finite Group, Composition Series, Cyclic Group
Sophie Germain Prime: Prime Number
Sorgenfrey Line: Real Number, Basis (Topology), Topology, TopologicalSpace
Sound Argument: Valid Argument, True, Premise
151
Space of Bounded Linear Transformations: Hilbert Space, GroundField, Bounded Linear Transformation, Pointwise Addition of Mappings,Pointwise Scalar Multiplication of Mappings, Vector Space, Norm (LinearTransformation), Norm (Vector Space), Banach Space
Space of Compact Linear Transformations: Hilbert Space, GroundField, Compact Linear Transformation, Pointwise Addition of Mappings,Pointwise Scalar Multiplication of Mappings, Banach Space, Space of BoundedLinear Transformations
Space of Continuous Finite Rank Operators: Hilbert Space
Space of Integrable Functions: Measure Space, Integrable Function,Real-Valued Function, Extended Real-Valued Function
Space of Measurable Functions: Measurable Space, Measurable Func-tion, Real-Valued Function, Extended Real-Valued Function
Space of Simple Functions: Measurable Space, Simple Function
Space:
Spacetime: Mathematical Model, Ordinary Space, Time, Object, Dimen-sion (Linear Algebra), Vector Space
Spanning Set: Vector Space, Field (Abstract Algebra), Vector (Linear Al-gebra), Linear Combination, Generator of Module
Spanning Subgraph: Graph, Subgraph, Vertex (Graph Theory)
Spanning Tree: Spanning Subgraph, Tree (Graph Theory), Order (GraphTheory), Edge (Graph Theory)
Special Linear Group: Field (Abstract Algebra), Ring Zero, Unity, De-terminant, Group, Matrix Product (Conventional), Standard Number Field
Specific Sign (Mathematical Theory): Mathematical Theory, Symbol
152
Spectrum of a Ring: Commutative and Unitary Ring, Prime Ideal, Ideal(Ring Theory), Topological Space, Zariski Topology
Speed of Light:
Speed: Body, Magnitude, Velocity, Direction, Scalar Quantity
Sphere:
Split Epimorphism: Metacategory, Iff, Identity Morphism, Section (Cate-gory Theory)
Split Monomorphism: Metacategory, Iff, Identity Morphism
Splitting Field: Field (Abstract Algebra), Polynomial, Field Extension
Spring: Force
Square Number: Integer, Perfect Number,
Square Root:
Square-Free: Divisor, Square Number, Prime Number, Prime Decompo-sition
Square:
Stability (Differential Equations):
Stability (Model Theory): Theory (Logic), Countable, Infinite, Cardi-nal, Model (Logic), Subset, Cardinality, Natural Numbers, Type, Ordinal
Stabilizer:
Stable under Intersection: Set, Subset
Staircase Contour: Contour (Complex Analysis), Concatenation of Con-tours, Directed Smooth Curve, Smooth Path (Complex Analysis)
153
Standard Basis: Ring with Unity, Ring Zero, Unity, Standard OrderedBasis
Standard Deviation: Random Variable, Variance
Standard Number Field: Set, Number, Rational Number, Real Num-ber, Cauchy Sequence, Complex Number, Field (Abstract Algebra)
Standard Ordered Basis: Ring with Unity, Ring Zero, Unity, Orderedn-Tuple, Term of Sequence
Standard Representation of Simple Function: Measurable Space, Sim-ple Function, Finite Sequence, Real Number, Partition (Set Theory), Mea-surable Set, Characteristic Function
Standard Structure: Structure (Set Theory), Iff, Epsilon Relation, Carte-sian Product
Standard Transitive Model: Well-Formed Formula, Language of Set The-ory, Class, Iff, Transitive Class
Star (Topology): Set, Cover, Set Union
Star Refinement: Set, Cover, Star (Topology), Set Union
Star Shaped Set: Subset, Iff,
Star-Algebra: Unitary Division Algebra, Mapping, Conjugation (AbstractAlgebra)
Statement Form: Compound Statement, Statement Variable, Logical Con-nective,
Statement Label: Symbol, Statement, True
Statement Variable: Variable, Statement, True
154
Statement:
Stationary Point: Real Function,
Statistic: Number, Sample
Steiner Inellipse: Triangle (Geometry), Tangent
Steiner Triple System: Balanced Incomplete Block Design,
Stieltjes Function of Measure on Real Numbers: Measure (MeasureTheory), Mapping, Extended Real Number
Stieltjes Function of Measure: Measure (Measure Theory), Mapping,Extended Real Number
Stieltjes Function: Mapping, Extended Real Number,
Stipulative Definition: Symbol, Stipulative Definition
Stirling Number: Integer
Stirling Numbers of the First Kind: Integer
Stirling Numbers of the Second Kind: Kronecker Delta, Integer
Stirling Numbers: Integer
Stirling’s Triangle of the First Kind (Signed):
Stirling’s Triangle of the First Kind (Unsigned):
Stirling’s Triangle of the First Kind:
Stirling’s Triangle of the Second Kind: Stirling Numbers of the SecondKind
Stirling’s Triangles: Array, Stirling Numbers of the First Kind, Stirling
155
Numbers of the Second Kind
Stone Space: Boolean Algebra, Topological Space, Generated Topology,Basis (Topology)
Straight Angle: Angle, Point, Radians
Stratified Random Sample: Population, Sample, Iff, Set Union, Sim-ple Random Sample
Strict Ordering: Set, Relation, Antireflexive Relation, Transitive Rela-tion, Asymmetric Relation, Strictly Precede, Strictly Succeed
Strict Partial Ordering: Relational Structure, Strict Ordering, ConnectedRelation,
Strict Total Ordering: Relational Structure, Strict Ordering, ConnectedRelation
Strict Upper Closure: Set, Element, Strictly Succeed
Strict Weak Ordering: Set, Relation, Strict Partial Ordering, TransitiveRelation
Strict Well-Ordering: Strict Total Ordering, Class, Iff, Foundational Re-lation
Strictly Between:
Strictly Decreasing:
Strictly Increasing:
Strictly Monotone:
Strictly Negative: Ordered Ring, Ring Zero
Strictly Positive: Ordered Ring, Ring Zero
156
Strictly Precede:
Strictly Succeed: Strictly Precede
String: Symbol, Sequence
Strongly Additive Function: Algebra of Sets, Mapping, Extended RealNumber
Strongly Inaccessible: Aleph Function, Iff, Weakly Inaccessible
Strongly Locally Compact: Topological Space, Strongly Locally Com-pact, Closure (Topology), Compact
Structure (Set Theory): Class, Relation, Relational Structure, Well-Formed Formula
Structure:
Sturm-Liouville Equation: Real Function, Derivative,
Sub-Basis:
Sub-Sigma-Algebra: Set,
Subadditive Function (Conventional): Semigroup, Ordered Semigroup,Mapping, Real Number
Subadditive Function (Measure Theory): Algebra of Sets, Mapping,Extended Real Number, Finite, Countably Subadditive Function
Subadditive Function: Semigroup, Ordered Semigroup, Mapping, RealNumber
Subalgebra: Algebra over a Ring
Subcontinuum: Topological Space, Continuum (Topology), Subcontinuum
157
Subcontrary Statements: Statement
Subcover: Set, Cover
Subdivision: Real Number, Point
Subdomain: Algebraic Structure, Subset, Integral Domain
Subfield:
Subgraph: Graph (Graph Theory), Vertex (Graph Theory), Edge (GraphTheory)
Subgroup: Algebraic Structure, Group, Subset
Subject: Simple Statement, Atom (Logic), Predicate, Logical Term
Submagma: Magma
Submanifold: Manifold (Topology), Subset
Submatrix: Matrix, Subset, Determinant, Minor
Submersion: Manifold, Surjection
Submodule: Ring (Abstract Algebra), R-Algebraic Structure, Module,
Submonoid: Monoid
Subnet: Directed Set, Set, Net (Set Theory),
Subnormal Subgroup: Group, Subgroup, Iff, Finite Sequence, NormalSubgroup, Normal Series
Subobject Class: Metacategory, Object (Category Theory), Category ofSubobjects, Equivalence Class, Subobject, Equivalent Subobjects
158
Subobject: Metacategory, Object (Category Theory), Monomorphism (Cat-egory Theory),
Subordinate: Scope (Propositional Calculus), Well-Formed Part
Subring: Algebraic Structure, Subset, Ring (Abstract Algebra)
Subsemigroup: Algebraic Structure, Semigroup
Subsemiring: Algebraic Structure, Subset, Semiring (Abstract Algebra)
Subsequence: Sequence, Set,
Subsequential Limit: Sequence, Subsequence, Convergent Sequence
Subset of Natural Numbers: Natural Numbers, Subset, Zero (Algebra),Integer
Subset Product: Algebraic Structure, Power Set
Subset: Set, Iff, Element
Substitution for Free Occurrence: Variable, Argument (Predicate Cal-culus), Freely Substitutable, Free Occurrence
Substitution Instance: Sequent, Statement Variable, Statement Form
Substitution: Sequent, Statement Variable, Statement Form
Substring: Formal Language, String, Null String, Concatenation (FormalSystems)
Subtraction:
Succeed:
Successor Mapping on Natural Numbers: Natural Numbers, Mapping,Successor Mapping
159
Successor Mapping: Set, Mapping, Natural Language, Injection, Surjec-tion,
Successor Ordinal: Successor Set, Ordinal
Successor Set: Set
Successor: Set, Mapping, Natural Language, Injection, Surjection,
Sufficiently Large: Property, Real Number
Sum Notation: Algebraic Structure, Operation, Natural Numbers, Orderedn-Tuple, Composite (Abstract Algebra), Propositional Function, Infinite
Sum of Cardinals: Set, Cardinal
Sum Over Divisors: Function, Divisor
Summand: Operation, Addition, Object
Superfilter: Set, Power Set, Filter on Set
Superfunction:
Supertransitive: Transitive Class, Iff, Subset, Power Set, Element
Supplementary: Straight Angle, Angle, Degree (Angular Measure), Re-flex Angle, Right Angle, Radians
Support:
Supremum Norm: Set
Supremum:
Surface:
160
Surjection: Mapping, Right-Total Relation, Element, Relation, Left-TotalRelation, Many-to-One Relation
Surjective Restriction: Mapping, Surjection,
Surjective: Mapping, Surjection,
Survival Function: Measure Space,
Syllogism: Logical Argument, Premise, Conclusion
Symbol: Object
Symbolic Logic: Logic, Statement Form, Statement, Symbol
Symmetric Closure: Relation, Set, Set Union, Inverse Relation, Sym-metric Relation, Subset
Symmetric Design:
Symmetric Difference:
Symmetric Entourage: Set, Quasiuniformity, Entourage, Inverse Entourage
Symmetric Filter Basis: Set, Quasiuniformity, Filter, Cartesian Prod-uct, Filter Basis, Symmetric Entourage
Symmetric Group: Permutation on n Letters, Algebraic Structure, Com-position of Mappings, Group, Group Isomorphism, Group of Permutations,Element, Cardinality, Identity Mapping
Symmetric Matrix:
Symmetric Polynomial: Field (Abstract Algebra)
Symmetric Relation: Relation
Symmetric Set: Group
161
Symmetry (Relation): Relation
Symmetry Group: Geometric Figure, Set, Symmetry Mapping, AlgebraicStructure, Composition of Mappings
Symmetry Mapping: Geometric Figure, Bijection, Congruence (Geom-etry)
Symmetry: Relation
Syntax: Natural Language, Formal Language
System of Sets:
T3 Space: Topological Space
T4 Space: Topological Space
T5 Space: Topological Space
Tableau Extension Rules: Deductive Apparatus, Propositional Calcu-lus, Labeled Tree for Propositional Logic, Propositional Tableau Chain
Tableau Proof: Propositional Logic
Tangent Bundle:
Tangent Space: Topological Space, Mapping, Derivative,
Tangent: Topological Space, Mapping, Derivative,
Tarski’s Axioms: Axiom, Relation, Equidistance, Between (Geometry),Equals
Tau Function: Integer, Divisor, Sum Over Divisors
Tautology: Statement Form, Truth Value,
162
Taxicab Metric:
Taylor Series: Real Function, Smooth Real Function, Power Series, Con-vergent Series
Temperature: Body, Scalar Quantity,
Term (Algebra): Expression, Term (Algebra)
Term (Natural Language):
Term of Sequence: Element, Sequence, Ordered Pair
Term: Element, Sequence, Ordered Pair
Terminal Object: Metacategory, Object,
Ternary Numbers: Number Base
Tetration:
Theorem:
Theory (Logic): Language (Logic), Sentence, Model (Logic), Logical Con-sequence
Therefore: Statement, Logical Implication, Fallacy
Three (Category): Category, Object, Identity Morphism
Tidy Factorization: Integral Domain, Unity, Ring Zero,
Time Period: Periodic Process, Period
Time-Constructible Function:
Time:
163
Top (Lattice Theory): Lattice
Topological Equivalence: Set, Metric,
Topological Field: Field, Ring Zero, Topology, Mapping, Iff, Topologi-cal Ring, Continuous Mapping
Topological Group:
Topological Property: Property, Set, Topological Space, Homeomorphism,Topological Property
Topological Ring: Ring, Topology, Iff, Topological Group, ContinuousMapping
Topological Semigroup: Semigroup, Underlying Set, Topological Space,
Topological Space: Set, Topology, Open Set Axioms, Ordered Pair, El-ement, Universe (Set Theory)
Topological Subspace: Topological Space, Non-Empty Set, Subset, Set,Topology
Topological Sum: Topological Space, Disjoint Union (Set Theory), Gener-ated Topology
Topological Vector Space: Vector Space, Field (Abstract Algebra), Topol-ogy, Hausdorff Space,
Topologically Complete: Topological Space, Complete Metric Space
Topologically Distinguishable: Topological Space, Singleton, DisjointSets
Topologist’s Sine Curve: Subset, Euclidean Space, Set
Topology Generated by Synthetic Basis: Set, Topology
164
Topology on Extended Real Numbers: Extended Real Number, Or-der Topology, Ordering on Extended Real Numbers
Topology: Set, Subset, Power Set, Open Set Axioms, Topological Space,
Torsion:
Torus: Dimension (Topology), Topological Space, Cartesian Product, Circle
Total Derivative: Variable, Partial Derivative
Total Function: Partial Function
Total Order: Connected Relation, Totally Ordered Set,
Total Ordering: Connected Relation, Totally Ordered Set,
Total Preordering: Set, Preordering, Connected Relation, Element,
Total Recursive Function: Partial Function, Total Function
Total Relation: Relation, Set, Element, Connected Relation, Reflexive Re-lation
Totally Bounded: Metric Space
Totally Disconnected: Topological Space, Component (Topology), Sin-gleton, Degenerate Connected Subset, Connected (Topology)
Totally Ordered Commutative Semigroup: Totally Ordered Structure,Commutative Semigroup
Totally Ordered Field: Ordered Ring, Field, Total Ordering
Totally Ordered Group: Totally Ordered Structure, Group
Totally Ordered Ring: Ordered Ring, Total Ordering
165
Totally Ordered Semigroup: Totally Ordered Structure, Semigroup
Totally Ordered Set: Total Ordering
Totally Ordered Structure: Ordered Structure, Algebraic Structure, Or-dered Set, Relation Compatible with Operation, Total Ordering
Totally Pathwise Disconnected: Topological Space, Singleton, Path-Connected
Totally Separated: Topological Space, Separation (Topology)
Tower of Fields: Finite Sequence, Field Extension
Trace (Field Theory): Field (Abstract Algebra), Field Extension, Vec-tor Space, Linear Transformation, Trace (Linear Algebra)
Trace (Linear Algebra):
Trace Sigma-Algebra: Set, Subset
Trace Table:
Trace:
Trail: Walk, Edge (Graph Theory), Distinct, Vertex (Graph Theory), Sub-graph
Transcendence Degree: Field (Abstract Algebra), Field Extension, Car-dinality, Algebraically Independent, Subset
Transcendental Number: Number, Real Number, Complex Number, Al-gebraic Number
Transcendental:
Transfinite Sequence: Infinite Set, Ordinal
166
Transitive Class: Class, Set, Iff, Element, Subset
Transitive Closure (Relation Theory): Relation, Set, Transitive Re-lation, Subset
Transitive Closure (Set Theory): Set, Transitive Class
Transitive Closure: Relation, Set, Transitive Relation, Subset
Transitive Reduction:
Transitive Relation: Relation
Transitive with Respect to a Relation: Class, Relation, Set, Iff
Transitivity (Relation Theory): Relation
Transitivity: Relation
Translation Mapping: Abelian Group, Mapping,
Translation-Invariant Measure: Measure (Measure Theory),
Transpose of Linear Transformation: Commutative Ring, Module, Al-gebraic Dual, Set of All Linear Transformations, Mapping, Composition ofMappings
Transpose of Matrix: Matrix
Transpose: Commutative Ring, Module, Algebraic Dual, Set of All Lin-ear Transformations, Mapping, Composition of Mappings
Transposition: Cyclic Permutation, Permutation on n Letters, Set, Ele-ment, Fixed Element of Permutation
Transversal (Geometry): Intersection (Geometry), Point
167
Transversal (Group Theory): Group, Subgroup, Subset
Transversal: Intersection (Geometry), Point
Tree (Graph Theory): Simple Graph, Circuit, Cycle (Graph Theory)
Tree (Set Theory): Well-Ordered Set
Tree: Simple Graph, Circuit, Cycle (Graph Theory)
Triangle (Geometry): Polygon, Angle
Triangle (Graph Theory): Complete Graph, Order (Graph Theory)
Triangle: Polygon, Angle
Triangular Matrix:
Triangular Number:
Trichotomy: Set, Relation, Element
Trigonometric Function:
Triplicate Ratio: Magnitude
Trivial Annihilator: Ring (Abstract Algebra), Field (Abstract Algebra),Iff, Annihilator, Integer
Trivial Character: Finite Group, Abelian Group, Mapping, Character(Number Theory)
Trivial Factorization: Integral Domain, Associate,
Trivial G-Module:
Trivial Group: Group, Element
168
Trivial Module: Abelian Group, Ring (Abstract Algebra), Module
Trivial Norm:
Trivial Partition: Set, Partition (Set Theory)
Trivial Quotient: Diagonal Relation, Set, Quotient Mapping
Trivial Relation: Relation, Element, Cartesian Product, Set
Trivial Ring: Ring (Abstract Algebra)
Trivial Subgroup: Group, Algebraic Structure
Trivial Topological Space: Topological Space, Element,
Trivial: Relation, Element, Cartesian Product, Set
True: Statement, Truth Value
Truth Table: Boolean Function, Boolean Domain
Truth Value: Statement, True, False
Turing Machine: Algorithm, Finite
Two (Boolean Algebra): Tautology, Contradiction, Boolean Algebra
Two (Category): Category, Object, Identity Morphism
Two (Ordinal): Ordinal, Successor Set, One (Ordinal)
Two (Ring):
Two-Valued Function: Two (Ring), Mapping,
Tychonoff Space: Topological Space, Kolmogorov Space, Closed Set, UrysohnFunction
169
Tychonoff Topology: Topological Space, Indexing Set, Initial Topology
Type Space: Topological Space, Type, Closed Set, Relative Complement
Type: Universe, Language (Logic), Sentence, Model (Logic)
Ultraconnected: Topological Space, Empty Set, Disjoint Sets, Closed Set
Ultrafilter on Set: Set, Filter on Set, Subset, Superfilter,
Ultrafilter: Set, Filter on Set, Subset, Superfilter,
Ultraproduct: Ultrafilter on Set, Cartesian Product
Unambiguous: Ambiguous
Unconditionally: Statement, True, False, Axiomatic System, Axiom
Uncountable Set: Infinite Set, Countable Set
Uncountable: Infinite Set, Countable Set
Undefined Term: definition, Circular Definition, Ostensive Definition, State-ment
Underlying Set Functor: Category of Sets, Metacategory, Set, Object,Mapping,
Underlying Set:
Undirected Graph: Graph (Graph Theory), Edge Set, Relation, Sym-metric Relation, Edge (Graph Theory), Directed Graph, Arc (Graph Theory)
Uniform Convergence Almost Everywhere: Measure Space, Sequence,Measurable Function, Iff, Measurable Set, Uniform Convergence
Uniform Convergence:
170
Uniform Equivalence:
Uniform Space: Uniformity, Set, Quasiuniform Space
Uniformity: Set, Set of Sets, Cartesian Product, Diagonal Relation, Sym-metric Entourage
Uniformizable: Topological Space, Uniformity, Uniform Space
Uniformly Integrable: Measure Space, Measurable Function, Iff,
Union Mapping: Mapping,
Union of Relations: Set, Relation, Set Union, Iff
Union Relation: Relation,
Union: Relation,
Unique Factorization Domain: Integral Domain, Ring Zero, CompleteFactorization, Equivalent Factorizations
Unique: Integral Domain, Ring Zero, Complete Factorization, EquivalentFactorizations
Unit Arithmetic Function: Number
Unit Circle: Circle,
Unit of Algebra: Unitary Algebra, Ring (Abstract Algebra),
Unit of Ring: Ring with Unity, Element, Invertible Element, Set, Ring(Abstract Algebra)
Unit of System of Sets: System of Sets
Unit Vector: Direction, Magnitude
171
Unit: Ring (Abstract Algebra), Semigroup, Ring with Unity, Semiring (Ab-stract Algebra)
Unitary Algebra: Algebra over a Ring, Unitary Algebra, Unit of Alge-bra
Unitary Division Algebra: Division Algebra,
Unitary Module: Ring with Unity, Unity, Abelian Group, Module
Unitary Operator: Isomorphism (Hilbert Spaces), Hilbert Space
Unitary Subalgebra: Unitary Algebra, Ring (Abstract Algebra)
Units of Measurement: Magnitude, Physical Quantity, Multiple
Unity: Ring (Abstract Algebra), Semigroup, Ring with Unity, Semiring(Abstract Algebra)
Universal Class: Class, Set
Universal Graph: Set, Graph (Graph Theory), Element
Universal Model: Infinite, Cardinal, Model (Logic), Cardinality,
Universal Net: Set, Directed Set, Net (Set Theory), Iff, Subset
Universal Quantifier: Universe of Discourse, Object, Propositional Func-tion
Universal Statement: Object, Universe of Discourse, Property, Statement,Universal Quantifier, Predicate Symbol, Vacuous Truth
Universally Compatible: Relation, Set, Relation Compatible with Op-eration, Closure (Abstract Algebra)
Universally Congruent: Equivalence Relation, Set, Congruence Relation,
172
Closure (Abstract Algebra)
Universe (Set Theory): Set, Subset
Universe of Discourse: Universal Quantifier, Existential Quantifier
Universe: Universal Quantifier, Existential Quantifier
Unlimited Register Machine:
Unordered Tuple: Small Class, Finite, Element,
Upper Bound:
Upper Integral: Real Function, Infimum, Subdivision, Upper Sum
Upper Semilattice on Classical Set: Algebraic Structure
Upper Sum: Real Function, subdivision, Real Interval
URM Computability:
Urysohn Function: Topological Space,
Urysohn Space: Topological Space, Distinct, Urysohn Function
Vacuous Truth: Conditional, False, Propositional Function
Vacuous: Conditional, False, Propositional Function
Vague:
Valid Argument: Logical Argument, Premise, Conclusion
Valuation Ring: Integral Domain, Quotient Field
Valuation: Integral Domain, Quotient Field
173
Vandermonde’s Matrix:
Variable Element: Metacategory, Object, Codomain (Category Theory)
Variable: Variable, Symbol, Object, Universe of Discourse
Variance: Discrete Random Variable, Expectation, Function,
Vector (Euclidean Space): Vector (Linear Algebra), Vector Space, RealVector Space, Element
Vector (Linear Algebra): Vector Space, Element
Vector (Physics): Vector Space, Real Vector Space, Magnitude, Direc-tion, Euclidean Space, Coordinate, Point, Ordered n-Tuple, Physical Quan-tity, Mathematical Model, Object, Velocity, Dimension (Geometry), Frameof Reference,
Vector Cross Product: Vector (Linear Algebra), Vector Space, Deter-minant, Column Matrix
Vector Length: Vector (Linear Algebra), Vector Space, Norm
Vector Notation: Dimension, Unit Vector
Vector Space Automorphism: Vector Space
Vector Space Axioms: Property, Vector Space, Set, Object, Division Ring,Unity, Standard Number Field, Abelian Group Axioms, Associative, Com-mutative, Unitary Module, Module
Vector Space Isomorphism: Vector Space, Iff, Bijection
Vector Space Monomorphism: Vector Space, Iff, Injection
Vector Space: Division Ring, Abelian Group, Unitary Module, Scalar Ring,Commutative, Field (Abstract Algebra), Scalar Field
174
Vector Subspace: Division Ring, R-Algebraic Structure, Vector Space,
Vector Sum: Vector (Linear Algebra), Dimension (Linear Algebra), VectorSpace, Addition, Operation
Vector-Valued Function: Real Function, Mapping, Vector (EuclideanSpace), Set Intersection,
Vector: Division Ring, Abelian Group, Unitary Module, Scalar Ring, Com-mutative, Field (Abstract Algebra), Scalar Field
Velocity: Body, Derivative, Displacement, Time, Velocity
Venn Diagram: Set, Set Intersection, Set Complement, Empty Set
Veridical Paradox: True
Vertex (Graph Theory): Graph (Graph Theory), Element, Edge (GraphTheory), Tree (Graph Theory), Vertex (Graph Theory), Endvertex
Vertex Cut: Graph (Graph Theory), Vertex, Vertex Deletion,
Vertex Deletion: Undirected Graph, Set, Vertex (Graph Theory), InducedSubgraph
Vertex Set: Graph (Graph Theory), Set, Vertex (Graph Theory)
Vertex: Graph (Graph Theory), Element, Edge (Graph Theory), Tree(Graph Theory), Vertex (Graph Theory), Endvertex
Vertical Tangent Line: Graph of Mapping, Real Function
Volume: Body, Dimension (Geometry), Cube
Von Mangoldt Function: Prime Number
Von Neumann Hierarchy: Universal Class, Mapping, Ordinal, Power Set,Limit Ordinal
175
Walk: Graph (Graph Theory), Vertex (Graph Theory), Edge (Graph The-ory), Incident,
Weak Initial Segment: Set, Element, Precede
Weak Upper Closure: Set, Element, Succeed
Weakly Countably Compact: Topological Space, Iff, Infinite,
Weakly Hereditary Property: Property, Set, Topological Space, ClosedSet, Topological Subspace
Weakly Inaccessible: Aleph Function, Iff, Limit Ordinal, Regular Car-dinal
Wedge Product: Differential Form, Linear Transformation, Mapping, Man-ifold, Permutation Symbol
Weight (Physics): Body, Force, Gravitational Field, Weight (Physics),Mass
Weight Function: Set, Mapping, Positive, Real Number
Weighted Mean: Sequence, Real Number, Weight Function, Element
Well-Formed Formula: Well-Formed Word, Propositional Calculus, Pred-icate Calculus
Well-Formed Part: Formal Language, Well-Formed Word, Substring, Propo-sitional Calculus, Predicate Calculus, Well-Formed Formula
Well-Formed Word: Formal Language, Word (Formal Systems), Ruleof Formation, Formal Grammar, Parsing Sequence, Propositional Calculus,Predicate Calculus, Well-Formed Formula
Well-Founded Set: Small Class, Von Neumann Hierarchy, Iff
176
Well-Founded: Empty Set, Subset,
Well-Orderable Set: Set, Well-Ordering
Well-Ordered Integral Domain: Ordered Integral Domain, Well-Ordering,Subset, Positivity Property, Element
Well-Ordered Set: Well-Founded,
Well-Ordering: Well-Founded, Empty Set, Subset, Well-Ordered Set,
Wilson Prime:
Witness Property: Theory (Logic), Logical Consequence, Existential State-ment
Word (Abstract Algebra): Algebraic Structure, Finite, Element, Set
Word (Formal Systems): Symbol
Word Metric: Group, Generator, Metric,
Word: Algebraic Structure, Finite, Element, Set
Zariski Topology:
Zeno’s Paradoxes:
Zenzizenzizenzic: Number, Power (Algebra)
Zermelo-Fraenkel Axioms:
Zero (Algebra): Naturally Ordered Semigroup, Symbol
Zero (Cardinal): Cardinal, Empty Set, Element
Zero (Category): Category, Object,
177
Zero (Number): Number, Cardinal, Empty Set
Zero (Ordinal): Empty Set
Zero Angle: Angle
Zero Dimensional: Topological Space, Zero Dimensional, Basis (Topol-ogy), Clopen
Zero Divisor of an Algebra: Algebra over a Ring, Zero Vector
Zero Divisor of Ring: Ring (Abstract Algebra), Element,
Zero Divisor:
Zero Element: Algebraic Structure
Zero Homomorphism: Ring (Abstract Algebra), Ring Zero
Zero Locus: Field (Abstract Algebra), Set
Zero Matrix: Monoid, Matrix Space, Matrix, Number
Zero Subspace: Vector Space, Zero Vector, Vector Subspace
Zero Vector: Ring (Abstract Algebra), Abelian Group, Module, Zero Vec-tor,
Zero:
ZF: Axiomatic Set Theory, Zermelo-Fraenkel Axioms, Propositional Func-tion
ZFC: Axiomatic Set Theory, Zermelo-Fraenkel Axioms, Propositional Func-tion
178