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