User:StarTower/Structure Notes/Definition Pages/Heading Two Statistics/Plan of Use/Sourceless Pages

About
This is a list (nearly complete) of all definition pages, in alphabetical order, without a Sources or Source subsection in them.


 * Update: Work is in progress removing disambiguation pages and parent pages, all of whose content is on subpages.

Page List

 * 1) Definition:Abnormal Subgroup
 * 2) Definition:Absolute Convergence of Product
 * 3) Definition:Absolutely Convergent Series/Complex Numbers
 * 4) Definition:Absolutely Convergent Series/General
 * 5) Definition:Absolute Value of Mapping/Extended Real-Valued Function
 * 6) Definition:Absolute Value of Mapping/Real-Valued Function
 * 7) Definition:Absolute Value of Mapping
 * 8) Definition:Absorption Law
 * 9) Definition:Absurd
 * 10) Definition:Abundance
 * 11) Definition:Abuse of Notation
 * 12) Definition:Acyclic Graph
 * 13) Definition:Addition of Polynomials/Polynomial Forms
 * 14) Definition:Addition of Polynomials
 * 15) Definition:Addition/Multiindices
 * 16) Definition:Addition/Naturally Ordered Semigroup
 * 17) Definition:Additive Arithmetic Function
 * 18) Definition:Additive Group of Complex Numbers
 * 19) Definition:Additive Group of Integer Multiples
 * 20) Definition:Additive Group of Rational Numbers
 * 21) Definition:Additive Monoid of Natural Numbers
 * 22) Definition:Adjacent (Graph Theory)/Edges/Digraph
 * 23) Definition:Adjacent (Graph Theory)/Faces
 * 24) Definition:Adjacent (Graph Theory)/Vertices/Digraph
 * 25) Definition:Adjacent (Graph Theory)
 * 26) Definition:Affine Algebraic Set
 * 27) Definition:Affine Frame
 * 28) Definition:Affirmative Categorical Statement
 * 29) Definition:Agreement/Relations
 * 30) Definition:Aleph Hypothesis
 * 31) Definition:Alexander Polynomial
 * 32) Definition:Algebra (Abstract Algebra)
 * 33) Definition:Algebraic (Model Theory)
 * 34) Definition:Algebraic Integer/Quadratic
 * 35) Definition:Algebraic Substructure
 * 36) Definition:Algebraic Element of Field Extension
 * 37) Definition:Algebraically Closed Field
 * 38) Definition:Algorithmic Computability
 * 39) Definition:All-Harshad Number
 * 40) Definition:Alternate Ratio
 * 41) Definition:Analytic Function
 * 42) Definition:Analytic Geometry/Plane
 * 43) Definition:Analytic Geometry/Solid
 * 44) Definition:Angle Bisector
 * 45) Definition:Angle/Adjacent
 * 46) Definition:Angle/Rectilineal
 * 47) Definition:Annihilator
 * 48) Definition:Antiassociative Operation
 * 49) Definition:Antiassociative Structure
 * 50) Definition:Antihomomorphism
 * 51) Definition:Antisymmetric Quotient
 * 52) Definition:Arbitrarily Large
 * 53) Definition:Arborescence
 * 54) Definition:Arc-Connected/Subset
 * 55) Definition:Archimedean Property/Norm
 * 56) Definition:Archimedean Property/Ordering
 * 57) Definition:Argumentum ad Passiones
 * 58) Definition:Argumentum ad Verecundiam
 * 59) Definition:Operation/Arity/Finitary
 * 60) Definition:Operation/Arity/Multiary
 * 61) Definition:Operation/Arity/Ternary
 * 62) Definition:Operation/Arity/Zero
 * 63) Definition:Operation/Arity
 * 64) Definition:Artinian Ring
 * 65) Definition:Ascending Chain Condition
 * 66) Definition:Atomic Domain
 * 67) Definition:Axiom/Formal Systems
 * 68) Definition:Backus-Naur Form/Alphabet
 * 69) Definition:Backus-Naur Form/Rules of Formation
 * 70) Definition:Backus-Naur Form/Specification
 * 71) Definition:Baire Space (Set Theory)
 * 72) Definition:Baire Space (Topology)
 * 73) Definition:Balanced Incomplete Block Design
 * 74) Definition:Balanced Signed Graph
 * 75) Definition:Balanced String
 * 76) Definition:Barycenter
 * 77) Definition:Basic Null Sequence
 * 78) Definition:Basic Open Set
 * 79) Definition:Basic Primitive Recursive Function/Identity Function
 * 80) Definition:Basic Primitive Recursive Function/Projection Function
 * 81) Definition:Basic Primitive Recursive Function/Successor Function
 * 82) Definition:Basic Primitive Recursive Function/URM Computability
 * 83) Definition:Basic Primitive Recursive Function/Zero Function
 * 84) Definition:Basic Primitive Recursive Function
 * 85) Definition:Basis Element
 * 86) Definition:Bernoulli Process
 * 87) Definition:Big Model
 * 88) Definition:Bilinear Mapping
 * 89) Definition:Binomial Coefficient/Multiindices
 * 90) Definition:Block Incidence Matrix of a Design
 * 91) Definition:Boolean Interpretation/Formal Semantics/Invalid
 * 92) Definition:Boolean Interpretation/Formal Semantics
 * 93) Definition:Boolean Lattice/Definition 1
 * 94) Definition:Boolean Lattice/Definition 2
 * 95) Definition:Borel Algebra
 * 96) Definition:Bottom (Lattice Theory)/Definition 1
 * 97) Definition:Bottom (Lattice Theory)/Definition 2
 * 98) Definition:Bottom (Lattice Theory)
 * 99) Definition:Bottom-Up Form of Top-Down Grammar
 * 100) Definition:Boubaker Polynomials
 * 101) Definition:Boundary (Geometry)/Containment
 * 102) Definition:Boundary (Geometry)
 * 103) Definition:Boundary (Graph Theory)
 * 104) Definition:Bounded Lattice/Definition 1
 * 105) Definition:Bounded Lattice/Definition 2
 * 106) Definition:Bounded Lattice/Definition 3
 * 107) Definition:Bounded Minimization
 * 108) Definition:Bounded Ordered Set
 * 109) Definition:Bounded Mapping/Complex-Valued
 * 110) Definition:Bounded Mapping
 * 111) Definition:Bounded Metric Space/Unbounded
 * 112) Definition:Box Topology
 * 113) Definition:Bozo Bit
 * 114) Definition:Braid Group
 * 115) Definition:By Hypothesis
 * 116) Definition:Bézout Domain
 * 117) Definition:Bézout Numbers
 * 118) Definition:Can't Happen
 * 119) Definition:Cancellable Operation
 * 120) Definition:Cancellable Semiring
 * 121) Definition:Canonical Form of Rational Number
 * 122) Definition:Canonical Injection
 * 123) Definition:Cantor Normal Form
 * 124) Definition:Cantor Set/Limit of Decreasing Sequence
 * 125) Definition:Cantor Space
 * 126) Definition:Cartesian Product of Relations
 * 127) Definition:Cartesian Product/Uncountable
 * 128) Definition:Categorical (Model Theory)
 * 129) Definition:Categorical Statement/Abbreviation
 * 130) Definition:Category of Cocones
 * 131) Definition:Category of Groups
 * 132) Definition:Category of Vector Spaces
 * 133) Definition:Category with Exponentials
 * 134) Definition:Category with Products/Finite
 * 135) Definition:Category with Products
 * 136) Definition:Cauchy Sequence/Rational Numbers
 * 137) Definition:Center of Tree
 * 138) Definition:Central Subgroup
 * 139) Definition:Chain (Physics)
 * 140) Definition:Character (Number Theory)
 * 141) Definition:Character (Representation Theory)
 * 142) Definition:Characteristic Function of Random Variable
 * 143) Definition:Characteristic Function of Relation
 * 144) Definition:Characteristic Function (Set Theory)
 * 145) Definition:Chebyshev Function
 * 146) Definition:Circle/Equality
 * 147) Definition:Circle/Equidistant
 * 148) Definition:Circumcircle of Triangle/Circumradius
 * 149) Definition:Circumference (Graph Theory)
 * 150) Definition:Circumradius/Polygon
 * 151) Definition:Circumradius/Polyhedron
 * 152) Definition:Class (Descriptive Statistics)/Empty Class
 * 153) Definition:Class (Class Theory)/Zermelo-Fraenkel
 * 154) Definition:Claw
 * 155) Definition:Clearly
 * 156) Definition:Closed Ball/Metric Space/Radius
 * 157) Definition:Closed Element/Definition 1
 * 158) Definition:Closed Element/Definition 2
 * 159) Definition:Closed Element
 * 160) Definition:Closed Linear Subspace
 * 161) Definition:Closed Path (Topology)
 * 162) Definition:Closed Set/Closed Point
 * 163) Definition:Closed Set/Closure Operator
 * 164) Definition:Closed Subset
 * 165) Definition:Closed Unit Ball
 * 166) Definition:Closed-Form Expression
 * 167) Definition:Closed-Form Solution
 * 168) Definition:Closure (Topology)/Definition 3
 * 169) Definition:Closure (Topology)/Definition 4
 * 170) Definition:Closure (Topology)/Definition 5
 * 171) Definition:Closure Operator/Ordering/Definition 1
 * 172) Definition:Closure Operator/Ordering/Definition 2
 * 173) Definition:Closure Operator/Ordering
 * 174) Definition:Closure Operator
 * 175) Definition:Cluster Point
 * 176) Definition:Co-Countable Set
 * 177) Definition:Cobordism
 * 178) Definition:Codimension
 * 179) Definition:Codomain (Category Theory)
 * 180) Definition:Cofinal Subset
 * 181) Definition:Cofinite Set
 * 182) Definition:Cohomology Groups
 * 183) Definition:Colimit/Finite Colimit
 * 184) Definition:Collation/Collation System
 * 185) Definition:Collation/Unique Readability
 * 186) Definition:Collation
 * 187) Definition:Coloring
 * 188) Definition:Combinable/Relations
 * 189) Definition:Combinable
 * 190) Definition:Commensurable in Square
 * 191) Definition:Commensurable
 * 192) Definition:Commutator/Ring
 * 193) Definition:Compact Subspace
 * 194) Definition:Compact Space/Metric Space
 * 195) Definition:Compact Space/Topology/Subspace/Definition 1
 * 196) Definition:Compact Space/Topology/Subspace
 * 197) Definition:Compactification
 * 198) Definition:Compatible Atlases
 * 199) Definition:Complement (Graph Theory)
 * 200) Definition:Complement (Lattice Theory)
 * 201) Definition:Complement of Truth Function
 * 202) Definition:Complementary Idempotent
 * 203) Definition:Complemented Lattice
 * 204) Definition:Complements of Parallelograms
 * 205) Definition:Complete Bipartite Graph
 * 206) Definition:Completed Dirichlet L-Function
 * 207) Definition:Completed Riemann Zeta Function
 * 208) Definition:Completely Additive Function
 * 209) Definition:Completion (Measure Space)
 * 210) Definition:Complex Analytic Differentiable Structure
 * 211) Definition:Complex Conjugate/Complex Conjugation
 * 212) Definition:Complex Locally Euclidean Space
 * 213) Definition:Complex Sequence
 * 214) Definition:Complex-Valued Function
 * 215) Definition:Component (Topology)/Definition 2
 * 216) Definition:Component (Topology)
 * 217) Definition:Composable Morphisms
 * 218) Definition:Composant/Point
 * 219) Definition:Composant
 * 220) Definition:Composite Number/Negative Composite
 * 221) Definition:Composition (Combinatorics)
 * 222) Definition:Composition Functor
 * 223) Definition:Composition of Morphisms
 * 224) Definition:Composition of Ratio
 * 225) Definition:Compound Ratio
 * 226) Definition:Compound Statement/Ill-Formed
 * 227) Definition:Computer Program
 * 228) Definition:Concatenation (Topology)
 * 229) Definition:Concatenation of URM Programs
 * 230) Definition:Concatenation
 * 231) Definition:Conditional/Language of Conditional/Strong
 * 232) Definition:Conditional/Language of Conditional/Weak
 * 233) Definition:Conditional/Language of Conditional
 * 234) Definition:Cone/Base
 * 235) Definition:Cone/Height
 * 236) Definition:Conflation
 * 237) Definition:Congruence (Geometry)
 * 238) Definition:Congruence (Metric Spaces)
 * 239) Definition:Congruence (Number Theory)/Integers/Modulo Operation
 * 240) Definition:Connected (Graph Theory)
 * 241) Definition:Connected (Topology)/Set/Definition 2
 * 242) Definition:Connected (Topology)/Topological Space/Definition 2
 * 243) Definition:Connected (Topology)/Topological Space
 * 244) Definition:Connected (Topology)
 * 245) Definition:Connected Sum
 * 246) Definition:Connectivity
 * 247) Definition:Continuation
 * 248) Definition:Convergent of Continued Fraction/Even
 * 249) Definition:Convergent of Continued Fraction/Odd
 * 250) Definition:Continued Fraction/Finite
 * 251) Definition:Continued Fraction/Infinite
 * 252) Definition:Numerators and Denominators of Continued Fraction
 * 253) Definition:Value of Continued Fraction
 * 254) Definition:Continuous Complex Function
 * 255) Definition:Continuous Mapping (Metric Space)/Point/Definition 2
 * 256) Definition:Continuous Mapping (Metric Space)/Point
 * 257) Definition:Continuous Mapping (Metric Space)/Space
 * 258) Definition:Continuous Mapping (Metric Space)
 * 259) Definition:Continuous Real Function/Subset
 * 260) Definition:Continuous Real-Valued Vector Function
 * 261) Definition:Continuous Mapping (Topology)/Set
 * 262) Definition:Continuous Mapping (Topology)
 * 263) Definition:Continuous Extension
 * 264) Definition:Continuous Mapping
 * 265) Definition:Continuously Embedded
 * 266) Definition:Contradictory
 * 267) Definition:Contranormal Subgroup
 * 268) Definition:Convergence Almost Everywhere
 * 269) Definition:Convergent Function
 * 270) Definition:Convergent Sequence/Topology
 * 271) Definition:Convergent Sequence
 * 272) Definition:Convergent Series/Normed Vector Space
 * 273) Definition:Convergent Series
 * 274) Definition:Conversion of Ratio
 * 275) Definition:Convex Set (Order Theory)
 * 276) Definition:Convex Set
 * 277) Definition:Coordinate System/Coordinate Function
 * 278) Definition:Coordinate System/Coordinates on Affine Space
 * 279) Definition:Coprime/GCD Domain
 * 280) Definition:Coprime/Integers/Relatively Composite
 * 281) Definition:Cord (Physics)
 * 282) Definition:Coreflexive Relation/Definition 1
 * 283) Definition:Coreflexive Relation/Definition 2
 * 284) Definition:Coreflexive Relation
 * 285) Definition:Corresponding Conditional
 * 286) Definition:Corresponding Magnitudes
 * 287) Definition:Cosecant/Complex Function
 * 288) Definition:Cosecant/Real Function
 * 289) Definition:Cosecant/Definition from Circle/First Quadrant
 * 290) Definition:Cosecant/Definition from Circle/Fourth Quadrant
 * 291) Definition:Cosecant/Definition from Circle/Second Quadrant
 * 292) Definition:Cosecant/Definition from Circle/Third Quadrant
 * 293) Definition:Cosecant/Definition from Circle
 * 294) Definition:Cosine/Definition from Circle/First Quadrant
 * 295) Definition:Cosine/Definition from Circle/Fourth Quadrant
 * 296) Definition:Cosine/Definition from Circle/Second Quadrant
 * 297) Definition:Cosine/Definition from Circle/Third Quadrant
 * 298) Definition:Cosine/Definition from Circle
 * 299) Definition:Cotangent/Complex Function
 * 300) Definition:Cotangent/Real Function
 * 301) Definition:Cotangent/Definition from Circle/First Quadrant
 * 302) Definition:Cotangent/Definition from Circle/Fourth Quadrant
 * 303) Definition:Cotangent/Definition from Circle/Second Quadrant
 * 304) Definition:Cotangent/Definition from Circle/Third Quadrant
 * 305) Definition:Cotangent/Definition from Circle
 * 306) Definition:Countability Axioms
 * 307) Definition:Countable Basis
 * 308) Definition:Countable Complement Topology/Countable
 * 309) Definition:Countably Subadditive Function
 * 310) Definition:Countable Cover
 * 311) Definition:Crackpot
 * 312) Definition:Critical Point (Topology)
 * 313) Definition:Cross Cancellation Property
 * 314) Definition:Cross Product
 * 315) Definition:Cross-Relation
 * 316) Definition:Cross-Section
 * 317) Definition:Cube Number
 * 318) Definition:Cubic Graph
 * 319) Definition:Cycle (Graph Theory)/Even
 * 320) Definition:Cycle (Graph Theory)/Odd
 * 321) Definition:Cycle (Periodic Solution)
 * 322) Definition:Cycle Decomposition
 * 323) Definition:Cycle Graph
 * 324) Definition:Cylinder/Similar Cylinders
 * 325) Definition:Decision Procedure
 * 326) Definition:Decomposable Set
 * 327) Definition:Decomposition (Topology)
 * 328) Definition:Dedekind Complete
 * 329) Definition:Dedekind Completion
 * 330) Definition:Dedekind-Infinite
 * 331) Definition:Dedekind-MacNeille Completion
 * 332) Definition:Deductive Apparatus
 * 333) Definition:Definitional Abbreviation
 * 334) Definition:Degenerate Connected Set/Non-Degenerate
 * 335) Definition:Degenerate Continuum
 * 336) Definition:Degenerate Distribution
 * 337) Definition:Degree of Polynomial/Polynomial Form
 * 338) Definition:Degree of Polynomial/Sequence/Ring
 * 339) Definition:Degree of Polynomial/Sequence
 * 340) Definition:Degree Sequence
 * 341) Definition:Deleted Neighborhood/Complex Analysis
 * 342) Definition:Deleted Neighborhood/Metric Space
 * 343) Definition:Deleted Neighborhood/Real Analysis
 * 344) Definition:Deleted Neighborhood/Topology
 * 345) Definition:Delta-Algebra
 * 346) Definition:Delta-Ring
 * 347) Definition:Densely Ordered/Subset
 * 348) Definition:Depressed Polynomial
 * 349) Definition:Derivative/Complex Function
 * 350) Definition:Derivative/Higher Derivatives/Order of Derivative
 * 351) Definition:Derivative/Real Function/Derivative on Interval
 * 352) Definition:Descending Chain Condition
 * 353) Definition:Determinant/Linear Operator
 * 354) Definition:Diagonal Mapping
 * 355) Definition:Dialetheia
 * 356) Definition:Diameter of Parallelogram
 * 357) Definition:Diameter of Quadrilateral
 * 358) Definition:Dicyclic Group
 * 359) Definition:Differentiable Structure
 * 360) Definition:Differentiable Mapping/Complex Function
 * 361) Definition:Differentiable Mapping/Real Function/Real Number Line
 * 362) Definition:Differentiable Mapping/Real-Valued Function/Open Set
 * 363) Definition:Differentiable Mapping/Real-Valued Function
 * 364) Definition:Differentiable Mapping
 * 365) Definition:Differential Complex
 * 366) Definition:Differential Form
 * 367) Definition:Differential Module
 * 368) Definition:Differential of Mapping/Vector-Valued Function
 * 369) Definition:Dimension (Measurement)/Units
 * 370) Definition:Dimension (Representation Theory)
 * 371) Definition:Direct Limit of Sequence of Groups
 * 372) Definition:Directed Graph/Arc/Endvertex
 * 373) Definition:Directed Set
 * 374) Definition:Dirichlet Character
 * 375) Definition:Dirichlet Convolution
 * 376) Definition:Dirichlet Density
 * 377) Definition:Dirichlet L-function
 * 378) Definition:Discontinuous
 * 379) Definition:Discrete Measure
 * 380) Definition:Discrete Probability Distribution
 * 381) Definition:Discrete Uniform Distribution
 * 382) Definition:Discriminant of Polynomial
 * 383) Definition:Disjoint Union
 * 384) Definition:Disjunction/Truth Function
 * 385) Definition:Distance-Preserving Mapping
 * 386) Definition:Distance/Points
 * 387) Definition:Distance/Sets
 * 388) Definition:Distributive Lattice
 * 389) Definition:Distributor
 * 390) Definition:Divide (Model Theory)
 * 391) Definition:Domain (Category Theory)
 * 392) Definition:Domain (Relation Theory)/Binary Operation
 * 393) Definition:Dominate (Analysis)
 * 394) Definition:Dual Order Embedding
 * 395) Definition:Dual Relation/Complement of Inverse
 * 396) Definition:Dual Statement (Order Theory)
 * 397) Definition:Duplicate Ratio
 * 398) Definition:Dyadic Rational
 * 399) Definition:Edge Contraction
 * 400) Definition:Edge-Disjoint Trails
 * 401) Definition:Eisenstein Integer
 * 402) Definition:Eisenstein Prime
 * 403) Definition:Eleatic School
 * 404) Definition:Electric Charge
 * 405) Definition:Electric Current
 * 406) Definition:Elementary Embedding
 * 407) Definition:Elementary Equivalence
 * 408) Definition:Elementary Symmetric Polynomial
 * 409) Definition:Ellipse/Covertex
 * 410) Definition:Embedded
 * 411) Definition:Embedding (Galois Theory)
 * 412) Definition:Embedding (Model Theory)
 * 413) Definition:Embedding
 * 414) Definition:Empty Infimum
 * 415) Definition:Empty Supremum
 * 416) Definition:Enumeration/Finite
 * 417) Definition:Equimultiples
 * 418) Definition:Equiprobability Space
 * 419) Definition:Equivalence of Categories/Equivalent Categories
 * 420) Definition:Equivalent Metrics
 * 421) Definition:Equivalent Linear Representations
 * 422) Definition:Euclidean Norm
 * 423) Definition:Euclidean Relation
 * 424) Definition:Euclidean Space/Rational
 * 425) Definition:Euler Characteristic
 * 426) Definition:Exact Sequence of Modules
 * 427) Definition:Excircle of Triangle/Excenter
 * 428) Definition:Excircle of Triangle/Exradius
 * 429) Definition:Excircle of Triangle
 * 430) Definition:Excluded Point Topology/Infinite
 * 431) Definition:Exclusive Or/Boolean Interpretation
 * 432) Definition:Exclusive Or/Notational Variants
 * 433) Definition:Exclusive Or/Truth Function
 * 434) Definition:Exponential (Category Theory)/Evaluation
 * 435) Definition:Exponential (Category Theory)/Transpose
 * 436) Definition:Exponential Function/Complex/Limit of Sequence
 * 437) Definition:Exponential Function/Complex/Differential Equation
 * 438) Definition:Exponentiation Functor
 * 439) Definition:Expression
 * 440) Definition:Extended Absolute Value
 * 441) Definition:Extended Real Addition
 * 442) Definition:Extended Real Multiplication
 * 443) Definition:Extended Real Subtraction
 * 444) Definition:Extension of Branch of Propositional Tableau
 * 445) Definition:Extension of Branch of Rooted Tree
 * 446) Definition:Extension of Propositional Tableau/Definition 2
 * 447) Definition:Extension of Propositional Tableau
 * 448) Definition:Extension of Rooted Tree
 * 449) Definition:Extension of Operation
 * 450) Definition:Extension of Relation
 * 451) Definition:Exterior (Topology)/Notation
 * 452) Definition:Exterior (Topology)
 * 453) Definition:Exterior Derivative
 * 454) Definition:F-Homomorphism
 * 455) Definition:Faithful (Module Theory)
 * 456) Definition:Faithful Functor
 * 457) Definition:Faithful Representation
 * 458) Definition:Faithful
 * 459) Definition:Falsidical Paradox
 * 460) Definition:Falsifiable/Formula
 * 461) Definition:Falsifiable/Set of Formulas
 * 462) Definition:Falsifiable
 * 463) Definition:Farey Sequence
 * 464) Definition:Fiber
 * 465) Definition:Field Adjoined Element
 * 466) Definition:Field Automorphism
 * 467) Definition:Field Endomorphism
 * 468) Definition:Field Epimorphism
 * 469) Definition:Field Monomorphism
 * 470) Definition:Filter
 * 471) Definition:Filtered Algebra
 * 472) Definition:Final Topology
 * 473) Definition:Finished
 * 474) Definition:Finitary
 * 475) Definition:Finite Category
 * 476) Definition:Finite Dimensional Vector Space
 * 477) Definition:Finite Extended Real Number
 * 478) Definition:Finite Graph
 * 479) Definition:Finite Integral Domain
 * 480) Definition:Finite Join Property
 * 481) Definition:Finite Monoid
 * 482) Definition:Finite Path
 * 483) Definition:Finite Probability Space
 * 484) Definition:Finite Ring Homomorphism
 * 485) Definition:Finite Ring
 * 486) Definition:Finite State Machine
 * 487) Definition:Finitely Branching
 * 488) Definition:Finitely Generated Extension
 * 489) Definition:First Chebyshev Function
 * 490) Definition:Fixed Element of Permutation/Set of Fixed Elements
 * 491) Definition:Fixed Element
 * 492) Definition:Fixed Set of Sets
 * 493) Definition:Force of Gravity
 * 494) Definition:Fork
 * 495) Definition:Forking Extension
 * 496) Definition:Formal Derivative
 * 497) Definition:Formal Grammar/Bottom-Up
 * 498) Definition:Formal Grammar/Top-Down
 * 499) Definition:Formal Language/Alphabet/Letter
 * 500) Definition:Formal Semantics/Structure
 * 501) Definition:Formal Semantics/Valid
 * 502) Definition:Formal Semantics
 * 503) Definition:Free Group
 * 504) Definition:Free Idempotent Monoid
 * 505) Definition:Free Semigroup
 * 506) Definition:Free Set of Sets
 * 507) Definition:Friedman Number
 * 508) Definition:Fréchet Space (Topology)
 * 509) Definition:Full Functor
 * 510) Definition:Full Subcategory
 * 511) Definition:Function Symbol
 * 512) Definition:Functor
 * 513) Definition:Fundamental Matrix
 * 514) Definition:G-Module Homomorphism
 * 515) Definition:G-Module
 * 516) Definition:G-Submodule
 * 517) Definition:Galois Extension
 * 518) Definition:Galois Group of Field Extension
 * 519) Definition:Gaussian Rational
 * 520) Definition:GCD Domain
 * 521) Definition:Generalized Inverse Gaussian Distribution
 * 522) Definition:Generalized Momentum
 * 523) Definition:Generalized Ordered Space/Definition 1
 * 524) Definition:Generalized Ordered Space/Definition 2
 * 525) Definition:Generalized Ordered Space/Definition 3
 * 526) Definition:Generalized Ordered Space
 * 527) Definition:Generated Sigma-Algebra
 * 528) Definition:Generator of Algebra
 * 529) Definition:Generated Algebraic Substructure
 * 530) Definition:Geometric Figure/Diameter
 * 531) Definition:Geometric Figure/Plane Figure
 * 532) Definition:Geometric Figure/Rectilineal Figure
 * 533) Definition:Geometric Figure/Three-Dimensional Figure
 * 534) Definition:Geometric Sequence/Scale Factor
 * 535) Definition:Girth
 * 536) Definition:Gnomon
 * 537) Definition:Gradation
 * 538) Definition:Graded Algebra
 * 539) Definition:Graded Module
 * 540) Definition:Graded Ring
 * 541) Definition:Graph (Category Theory)
 * 542) Definition:Graph (Graph Theory)/Edge/Endvertex
 * 543) Definition:Gravitational Field
 * 544) Definition:Group Action
 * 545) Definition:Group Algebra
 * 546) Definition:Group of Units of Ring
 * 547) Definition:Groupoid
 * 548) Definition:Gödel-Bernays Axioms
 * 549) Definition:Half-Integer
 * 550) Definition:Hall Divisor
 * 551) Definition:Hall Subgroup
 * 552) Definition:Hartogs Number
 * 553) Definition:Height (Ring Theory)
 * 554) Definition:Hereditarily Compact
 * 555) Definition:Hereditary Ring
 * 556) Definition:Heronian Mean
 * 557) Definition:Hexagonal Number
 * 558) Definition:Higher-Aleph Complement Topology
 * 559) Definition:Homeomorphism/Topological Spaces/Definition 4
 * 560) Definition:Homogeneous (Model Theory)
 * 561) Definition:Homogeneous (Physics)
 * 562) Definition:Homology Group
 * 563) Definition:Homomorphism (Graph Theory)
 * 564) Definition:Homomorphism of Complexes
 * 565) Definition:Homotopy Class
 * 566) Definition:Homotopy Group
 * 567) Definition:Homotopy/Free
 * 568) Definition:Homotopy/Relative
 * 569) Definition:Hurwitz Quaternion
 * 570) Definition:Ideal (Order Theory)
 * 571) Definition:Ideal (Physics)
 * 572) Definition:Identity Arithmetic Function
 * 573) Definition:Identity Morphism
 * 574) Definition:If
 * 575) Definition:Image Filter
 * 576) Definition:Image Set
 * 577) Definition:Image (Relation Theory)/Relation
 * 578) Definition:Immersion
 * 579) Definition:In-Degree
 * 580) Definition:In-Order Traversal of Labeled Tree
 * 581) Definition:Incident (Graph Theory)/Digraph/Incident From
 * 582) Definition:Incident (Graph Theory)/Digraph/Incident To
 * 583) Definition:Incident (Graph Theory)/Digraph
 * 584) Definition:Incident (Graph Theory)/Planar Graph
 * 585) Definition:Incident (Graph Theory)
 * 586) Definition:Inclusion Relation on Subobject Classes
 * 587) Definition:Inclusion-Reversing
 * 588) Definition:Incommensurable in Square
 * 589) Definition:Inconsistent (Logic)
 * 590) Definition:Increasing Sequence of Extended Real-Valued Functions
 * 591) Definition:Increasing Sequence of Mappings
 * 592) Definition:Increasing Sequence of Real-Valued Functions
 * 593) Definition:Independent Events/Dependent
 * 594) Definition:Indeterminate Variable
 * 595) Definition:Indeterminate
 * 596) Definition:Indicator Function
 * 597) Definition:Indicator of Group Element
 * 598) Definition:Indiscernible
 * 599) Definition:Induced Operation
 * 600) Definition:Induced Outer Measure
 * 601) Definition:Induced Representation
 * 602) Definition:Induced Subgraph
 * 603) Definition:Inductive Ordered Set
 * 604) Definition:Infimum of Set/Finite Infimum
 * 605) Definition:Infinite Matrix
 * 606) Definition:Infix Notation
 * 607) Definition:Injective on Morphisms
 * 608) Definition:Injective on Objects
 * 609) Definition:Injective Restriction
 * 610) Definition:Inner Limit
 * 611) Definition:Inner Product Space
 * 612) Definition:Integer Division
 * 613) Definition:Integer-Valued Function
 * 614) Definition:Integral Closure
 * 615) Definition:Integral Dependence
 * 616) Definition:Integral Domain/Definition 2
 * 617) Definition:Integral Polynomial
 * 618) Definition:Integrally Closed
 * 619) Definition:Interior Point (Topology)
 * 620) Definition:Intermediate Field
 * 621) Definition:Intersection of Relations/General Definition
 * 622) Definition:Intersection of Relations
 * 623) Definition:Intuitionist School
 * 624) Definition:Inverse Morphism
 * 625) Definition:Inverse of Subset/Monoid
 * 626) Definition:Inverse of Subset
 * 627) Definition:Inverse Ratio
 * 628) Definition:Inverse Semigroup
 * 629) Definition:Inversion Mapping/Topology
 * 630) Definition:Irreducible (Representation Theory)/G-Module
 * 631) Definition:Irreducible (Representation Theory)/Linear Representation
 * 632) Definition:Irreducible (Representation Theory)
 * 633) Definition:Irreducible Polynomial
 * 634) Definition:Irreducible Representation
 * 635) Definition:Isolated Point (Complex Analysis)
 * 636) Definition:Isolated Point (Metric Space)/Space
 * 637) Definition:Isolated Point (Metric Space)/Subset
 * 638) Definition:Isolated Point (Metric Space)
 * 639) Definition:Isolated Point (Real Analysis)
 * 640) Definition:Isolated Type
 * 641) Definition:Isolated Vertex
 * 642) Definition:Isomorphism (Abstract Algebra)/F-Isomorphism
 * 643) Definition:Isomorphism (Abstract Algebra)/Ordered Structure Isomorphism
 * 644) Definition:Isomorphism (Abstract Algebra)/R-Algebraic Structure Isomorphism/Module Isomorphism
 * 645) Definition:Isomorphism (Abstract Algebra)/R-Algebraic Structure Isomorphism/Vector Space Isomorphism
 * 646) Definition:Isomorphism of Categories/Isomorphic Categories
 * 647) Definition:Jacobi Symbol
 * 648) Definition:Jacobson Radical
 * 649) Definition:Jacobson Ring
 * 650) Definition:Johansson's Minimal Logic/Axioms
 * 651) Definition:Join (Order Theory)
 * 652) Definition:Join
 * 653) Definition:Jordan Arc
 * 654) Definition:Jordan Curve/Exterior
 * 655) Definition:Jordan Curve/Interior
 * 656) Definition:K-Algebra
 * 657) Definition:K-Connected
 * 658) Definition:Kernel of Homomorphism of Differential Complexes
 * 659) Definition:Kernel of Magma Homomorphism
 * 660) Definition:Kronecker Product
 * 661) Definition:Kronecker Sum
 * 662) Definition:Krull Dimension
 * 663) Definition:Kuratowski Closure Operator/Definition 1
 * 664) Definition:Kuratowski Closure Operator/Definition 2
 * 665) Definition:Kuratowski Closure Operator
 * 666) Definition:Labeled Graph
 * 667) Definition:Labeled Tree
 * 668) Definition:Lagrange Basis Polynomial
 * 669) Definition:Language of Arithmetic
 * 670) Definition:Language of Category Theory
 * 671) Definition:Latin Square Property
 * 672) Definition:Lattice (Group Theory)
 * 673) Definition:Lattice/Definition 1
 * 674) Definition:Lattice/Definition 2
 * 675) Definition:Lattice/Definition 3
 * 676) Definition:Laurent Series
 * 677) Definition:Leading Coefficient (Matrix)
 * 678) Definition:Least Absolute Residue
 * 679) Definition:Lebesgue Sigma-Algebra
 * 680) Definition:Left Cancellable
 * 681) Definition:Left Difference Quotient
 * 682) Definition:Left Inverse
 * 683) Definition:Left-Hand Derivative
 * 684) Definition:Legendre Polynomial
 * 685) Definition:Legendre Symbol
 * 686) Definition:Length of Integer
 * 687) Definition:Limit (Category Theory)/Finite Limit
 * 688) Definition:Limit Inferior of Sequence of Sets
 * 689) Definition:Limit of Complex Function
 * 690) Definition:Limit of Mapping between Metric Spaces/Epsilon-Ball Condition
 * 691) Definition:Limit of Mapping between Metric Spaces/Epsilon-Delta Condition
 * 692) Definition:Limit of Mapping between Metric Spaces
 * 693) Definition:Limit of Sequence of Events
 * 694) Definition:Limit Point/Topology/Point
 * 695) Definition:Limit Point/Topology/Set/Definition 2
 * 696) Definition:Limit Point/Topology/Set/Definition 3
 * 697) Definition:Limit Point/Topology/Set/Definition 4
 * 698) Definition:Limit Point/Topology/Set/Definition 5
 * 699) Definition:Limit Point/Topology
 * 700) Definition:Limit Superior of Sequence of Sets
 * 701) Definition:Line/Endpoint
 * 702) Definition:Line Segment/Equality
 * 703) Definition:Line/Infinite Straight Line
 * 704) Definition:Line/Infinite
 * 705) Definition:Line/Segment
 * 706) Definition:Linear Congruence
 * 707) Definition:Linear Continuum
 * 708) Definition:Linear Functional
 * 709) Definition:Linear Group Action
 * 710) Definition:Linear Measure/Breadth
 * 711) Definition:Linear Measure/Depth
 * 712) Definition:Linear Measure/Height
 * 713) Definition:Linear Measure
 * 714) Definition:Linear Recurrence Relation
 * 715) Definition:Linear Representation
 * 716) Definition:Linear Span
 * 717) Definition:Linear Subspace
 * 718) Definition:Linearly Dependent/Sequence/Real Vector Space
 * 719) Definition:Linearly Dependent/Set/Real Vector Space
 * 720) Definition:Linearly Independent/Sequence/Real Vector Space
 * 721) Definition:Linearly Independent
 * 722) Definition:Linearly Ordered Space
 * 723) Definition:Link (Graph Theory)
 * 724) Definition:Lipschitz Continuity/Lipschitz Constant
 * 725) Definition:Lipschitz Continuity
 * 726) Definition:Lipschitz Equivalence
 * 727) Definition:Lipschitz Quaternion
 * 728) Definition:Local Ring
 * 729) Definition:Local Sub-Basis
 * 730) Definition:Localization of Ring
 * 731) Definition:Locally Euclidean Space
 * 732) Definition:Locally Finite Graph
 * 733) Definition:Locally Finite
 * 734) Definition:Locally Uniform Convergence
 * 735) Definition:Logarithmic Integral
 * 736) Definition:Logical Argument/Finitary
 * 737) Definition:Logical Complement/Complementary Pair
 * 738) Definition:Logical Complement
 * 739) Definition:Logical Form
 * 740) Definition:Logical Formula
 * 741) Definition:Logical Language
 * 742) Definition:Logical Matrix
 * 743) Definition:Logical NAND/Boolean Interpretation
 * 744) Definition:Logical NAND/Notational Variants
 * 745) Definition:Logical NAND/Truth Function
 * 746) Definition:Logical NAND/Truth Table
 * 747) Definition:Logical NOR/Boolean Interpretation
 * 748) Definition:Logical NOR/Notational Variants
 * 749) Definition:Logical NOR/Truth Function
 * 750) Definition:Logical NOR/Truth Table
 * 751) Definition:Lower Closure of Element
 * 752) Definition:Lower Closure
 * 753) Definition:Lower Level Set
 * 754) Definition:Lower Limit (Topological Space)
 * 755) Definition:Lower Semicontinuous
 * 756) Definition:Lower Section
 * 757) Definition:Lowest Common Multiple/Integral Domain
 * 758) Definition:Lune
 * 759) Definition:Lyapunov Function
 * 760) Definition:Lyndon Word
 * 761) Definition:Magma of Sets Generated by Collection of Subsets
 * 762) Definition:Magma of Sets
 * 763) Definition:Main Connective/Propositional Logic
 * 764) Definition:Many-to-Many Relation
 * 765) Definition:Matrix Exponential
 * 766) Definition:Matrix/Underlying Structure
 * 767) Definition:Matrix/Zero Row or Column
 * 768) Definition:Max Operation/General Definition
 * 769) Definition:Maximal Algebraic Extension
 * 770) Definition:Maximal Chain
 * 771) Definition:Maximal Condition
 * 772) Definition:Maximal Spectrum of Ring
 * 773) Definition:Strictly Maximal Relation
 * 774) Definition:Maximum Spanning Tree
 * 775) Definition:Measure (Geometry)
 * 776) Definition:Measure of Finite Stieltjes Function
 * 777) Definition:Mediant
 * 778) Definition:Meet (Order Theory)
 * 779) Definition:Metagraph
 * 780) Definition:Metalanguage/Formal Systems
 * 781) Definition:Metalanguage/Metasyntax
 * 782) Definition:Metamodel
 * 783) Definition:Metatheorem
 * 784) Definition:Metric Space/Point
 * 785) Definition:Metrizable
 * 786) Definition:Middle Cancellation Property
 * 787) Definition:Minimal (Model Theory)
 * 788) Definition:Minimal Arithmetic
 * 789) Definition:Minimal Condition
 * 790) Definition:Minimal Topology
 * 791) Definition:Strictly Minimal Relation
 * 792) Definition:Minimization/Function
 * 793) Definition:Minimization/Partial Function
 * 794) Definition:Minimization/Relation
 * 795) Definition:Minimization
 * 796) Definition:Minimum Degree
 * 797) Definition:Minkowski Functional
 * 798) Definition:Minkowski Sum
 * 799) Definition:Mistake/Homophone Horror
 * 800) Definition:Mistake/Spello
 * 801) Definition:Mistake/Typo
 * 802) Definition:Mistake
 * 803) Definition:Modal Logic
 * 804) Definition:Model (Logic)/Logical Formula
 * 805) Definition:Model (Logic)/Set of Logical Formulas
 * 806) Definition:Module Automorphism
 * 807) Definition:Module Direct Sum
 * 808) Definition:Modulus (Geometric Function Theory)
 * 809) Definition:Modulus of Complex-Valued Function
 * 810) Definition:Modulus
 * 811) Definition:Monic Polynomial/Polynomial Form
 * 812) Definition:Monochromatic Graph
 * 813) Definition:Monomorphism
 * 814) Definition:Monomial of Free Commutative Monoid/Degree
 * 815) Definition:Monotone (Measure Theory)
 * 816) Definition:Monotone (Order Theory)
 * 817) Definition:Monotone
 * 818) Definition:Monotonicity
 * 819) Definition:Monster Model
 * 820) Definition:Morphisms-Only Metacategory
 * 821) Definition:Multigraph/Multiplicity
 * 822) Definition:Multigraph/Simple Edge
 * 823) Definition:Multiindex/Modulus
 * 824) Definition:Multiindex
 * 825) Definition:Multilinear Mapping
 * 826) Definition:Multiple Pointed Topology
 * 827) Definition:Multiplication of Polynomials/Polynomial Forms
 * 828) Definition:Multiplication/Rational Numbers
 * 829) Definition:Multiplicative Group of Positive Rational Numbers
 * 830) Definition:Multiplicative Group of Positive Real Numbers
 * 831) Definition:Multiplicative Group of Rational Numbers
 * 832) Definition:Multiplicative Group of Real Numbers
 * 833) Definition:Multiplicative Monoid of Integers Modulo m
 * 834) Definition:Multiplicatively Closed Subset of Ring
 * 835) Definition:Multiplicity (Complex Analysis)
 * 836) Definition:Multiset
 * 837) Definition:Nagata Criterion
 * 838) Definition:Name
 * 839) Definition:Quotient Epimorphism
 * 840) Definition:Negative Binomial Distribution/First Form
 * 841) Definition:Negative Categorical Statement
 * 842) Definition:Negative/Integer
 * 843) Definition:Negative/Number
 * 844) Definition:Negative/Rational Number
 * 845) Definition:Negatively Transitive Relation
 * 846) Definition:Neighborhood (Complex Analysis)
 * 847) Definition:Neighborhood (Real Analysis)
 * 848) Definition:Neighborhood (Analysis)
 * 849) Definition:Neighborhood (Graph Theory)
 * 850) Definition:Closed Neighborhood
 * 851) Definition:Neighborhood (Topology)
 * 852) Definition:Neighborhood Basis
 * 853) Definition:Neighborhood Sub-Basis
 * 854) Definition:Neighborhood
 * 855) Definition:Neo-Pythagoreanism
 * 856) Definition:Net (Preordered Set)
 * 857) Definition:Net (Set Theory)
 * 858) Definition:Network/Weight Function
 * 859) Definition:Network/Weight
 * 860) Definition:Nilradical
 * 861) Definition:Niven Number
 * 862) Definition:Noetherian Ring
 * 863) Definition:Non-Archimedean/Metric/Archimedean
 * 864) Definition:Non-Archimedean/Metric
 * 865) Definition:Non-Archimedean
 * 866) Definition:Nondeterministic Turing Machine
 * 867) Definition:Nonvanishing
 * 868) Definition:Normal Extension
 * 869) Definition:Normal Series/Length
 * 870) Definition:Normal Subgroup/Definition 2
 * 871) Definition:Normal Subgroup/Definition 4
 * 872) Definition:Normal Subgroup/Definition 7
 * 873) Definition:Normal Subset/Definition 1
 * 874) Definition:Normal Subset/Definition 2
 * 875) Definition:Normal Subset/Definition 3
 * 876) Definition:Normal Subset/Definition 4
 * 877) Definition:Normal Subset/Definition 5
 * 878) Definition:Normal Subset
 * 879) Definition:Normalized Weight Function
 * 880) Definition:Nowhere Dense
 * 881) Definition:NP-Complete
 * 882) Definition:NP Complexity Class
 * 883) Definition:Null Graph
 * 884) Definition:Null Module
 * 885) Definition:Null Polynomial/Polynomial Form
 * 886) Definition:Null Polynomial/Ring
 * 887) Definition:Null Polynomial/Sequence
 * 888) Definition:Null Polynomial
 * 889) Definition:Null Sequence (Analysis)
 * 890) Definition:Null Sequence (Homological Algebra)
 * 891) Definition:Occurrence
 * 892) Definition:Odd Prime
 * 893) Definition:One (Ordinal)
 * 894) Definition:One-Sided Derivative
 * 895) Definition:Ones Matrix
 * 896) Definition:Open Point
 * 897) Definition:Open Refinement
 * 898) Definition:Open Set/Complex Analysis
 * 899) Definition:Open Set/Pseudometric Space
 * 900) Definition:Open Set/Real Analysis
 * 901) Definition:Operation Induced by Injection
 * 902) Definition:Operator Domain
 * 903) Definition:Orbit (Group Theory)/Length
 * 904) Definition:Order Category/Definition 2
 * 905) Definition:Order Category
 * 906) Definition:Order Completion
 * 907) Definition:Order Embedding
 * 908) Definition:Order Indiscernible
 * 909) Definition:Order Isomorphism/Definition 1
 * 910) Definition:Order of Entire Function
 * 911) Definition:Order of Pole
 * 912) Definition:Order of Zero/Simple Zero
 * 913) Definition:Order of Zero
 * 914) Definition:Order Topology/Definition 1
 * 915) Definition:Order Topology/Definition 2
 * 916) Definition:Order Topology
 * 917) Definition:Ordered Commutative Semigroup
 * 918) Definition:Ordered Group Automorphism
 * 919) Definition:Ordered Group Isomorphism
 * 920) Definition:Ordered Group Monomorphism
 * 921) Definition:Ordered Monoid
 * 922) Definition:Ordered Square
 * 923) Definition:Ordered Statistic
 * 924) Definition:Ordered Structure Automorphism
 * 925) Definition:Ordered Structure Monomorphism
 * 926) Definition:Ordered Structure
 * 927) Definition:Ordered Subgroup
 * 928) Definition:Ordered Tree
 * 929) Definition:Ordered Tuple as Ordered Set
 * 930) Definition:Ordering Induced by Injection
 * 931) Definition:Ordering on Extended Real Numbers
 * 932) Definition:Ordering on Multiindices
 * 933) Definition:Ordinal Sum
 * 934) Definition:Ordinal
 * 935) Definition:Orthogonal (Linear Algebra)/Real Vector Space
 * 936) Definition:Orthogonal
 * 937) Definition:Oscillation (Analysis)
 * 938) Definition:Out-Degree
 * 939) Definition:Outer Limit
 * 940) Definition:P-adic Metric
 * 941) Definition:P-Integrable Function
 * 942) Definition:P-Subgroup
 * 943) Definition:Painlevé-Kuratowski Convergence
 * 944) Definition:Pairwise Coprime/Euclidean Domain
 * 945) Definition:Pairwise Coprime/GCD Domain
 * 946) Definition:Pairwise Coprime/Integers
 * 947) Definition:Pairwise Coprime
 * 948) Definition:Parametric Operator
 * 949) Definition:Paranormal Subgroup
 * 950) Definition:Parity of Integer
 * 951) Definition:Partial Differential Operator
 * 952) Definition:Partial Function Equality
 * 953) Definition:Partial Function
 * 954) Definition:Partial Preordering
 * 955) Definition:Particular Categorical Statement
 * 956) Definition:Particular Point Topology/Infinite
 * 957) Definition:Set Partition/Component
 * 958) Definition:Set Partition/Finite Expansion
 * 959) Definition:Partition of Unity (Topology)/Subordinate
 * 960) Definition:Partition of Unity (Topology)
 * 961) Definition:Partition of Unity
 * 962) Definition:Path (Category Theory)
 * 963) Definition:Path (Graph Theory)/Open
 * 964) Definition:Path Graph
 * 965) Definition:Path-Connected/Topology/Set
 * 966) Definition:Peano Structure
 * 967) Definition:Periodic Continued Fraction
 * 968) Definition:Periodic Process
 * 969) Definition:Permutation Symbol
 * 970) Definition:Perturbed Proportion
 * 971) Definition:Petersen Graph
 * 972) Definition:Philosophical Position
 * 973) Definition:Physical Law
 * 974) Definition:Physical Universe
 * 975) Definition:Plane Number
 * 976) Definition:Platonic Graph/Cube
 * 977) Definition:Platonic Graph/Dodecahedron
 * 978) Definition:Platonic Graph/Icosahedron
 * 979) Definition:Platonic Graph/Octahedron
 * 980) Definition:Platonic Graph/Tetrahedron
 * 981) Definition:Platonic Graph
 * 982) Definition:Point-to-Set Distance
 * 983) Definition:Pointwise Addition of Complex-Valued Functions
 * 984) Definition:Pointwise Addition of Integer-Valued Functions
 * 985) Definition:Pointwise Addition of Mappings
 * 986) Definition:Pointwise Addition of Rational-Valued Functions
 * 987) Definition:Pointwise Addition
 * 988) Definition:Pointwise Inequality of Extended Real-Valued Functions
 * 989) Definition:Pointwise Inequality of Real-Valued Functions
 * 990) Definition:Pointwise Inequality
 * 991) Definition:Pointwise Limit
 * 992) Definition:Pointwise Maximum of Mappings/Extended Real-Valued Functions
 * 993) Definition:Pointwise Maximum of Mappings/Real-Valued Functions
 * 994) Definition:Pointwise Maximum of Mappings
 * 995) Definition:Pointwise Minimum of Mappings/Extended Real-Valued Functions
 * 996) Definition:Pointwise Minimum of Mappings/Real-Valued Functions
 * 997) Definition:Pointwise Minimum of Mappings
 * 998) Definition:Pointwise Multiplication of Complex-Valued Functions
 * 999) Definition:Pointwise Multiplication of Integer-Valued Functions
 * 1000) Definition:Pointwise Multiplication of Rational-Valued Functions
 * 1001) Definition:Pointwise Multiplication
 * 1002) Definition:Pointwise Operation on Complex-Valued Functions
 * 1003) Definition:Pointwise Operation on Integer-Valued Functions
 * 1004) Definition:Pointwise Operation on Number-Valued Functions
 * 1005) Definition:Pointwise Operation on Rational-Valued Functions
 * 1006) Definition:Pointwise Scalar Multiplication of Complex-Valued Function
 * 1007) Definition:Pointwise Scalar Multiplication of Extended Real-Valued Functions
 * 1008) Definition:Pointwise Scalar Multiplication of Integer-Valued Function
 * 1009) Definition:Pointwise Scalar Multiplication of Mappings/Real-Valued Functions
 * 1010) Definition:Pointwise Scalar Multiplication of Mappings
 * 1011) Definition:Pointwise Scalar Multiplication of Number-Valued Function
 * 1012) Definition:Pointwise Scalar Multiplication of Rational-Valued Function
 * 1013) Definition:Pointwise Scalar Multiplication of Real-Valued Function
 * 1014) Definition:Pointwise Supremum of Extended Real-Valued Functions
 * 1015) Definition:Pointwise Supremum of Real-Valued Functions
 * 1016) Definition:Pointwise Supremum
 * 1017) Definition:Polar Coordinates/Polar Plane
 * 1018) Definition:Pole
 * 1019) Definition:Polygon/Adjacent
 * 1020) Definition:Polygon/Base
 * 1021) Definition:Polygon/Equilateral
 * 1022) Definition:Polygon/Height
 * 1023) Definition:Polygon/Multi-lateral
 * 1024) Definition:Polygon/Opposite
 * 1025) Definition:Polygon/Regular
 * 1026) Definition:Polygon/Side
 * 1027) Definition:Polygonal Number
 * 1028) Definition:Polynomial over Ring as Sequence
 * 1029) Definition:Polynomial/Complex Numbers
 * 1030) Definition:Polynomial Function/Complex
 * 1031) Definition:Coefficient of Polynomial/Polynomial Form
 * 1032) Definition:Coefficient of Polynomial
 * 1033) Definition:Polynomial Congruence/Number of Solutions
 * 1034) Definition:Polynomial Congruence/Solution
 * 1035) Definition:Polynomial Congruence
 * 1036) Definition:Polynormal Subgroup
 * 1037) Definition:Positive/Number
 * 1038) Definition:Positive/Rational Number
 * 1039) Definition:Power (Algebra)/Even Power
 * 1040) Definition:Power (Algebra)/Multiindices
 * 1041) Definition:Power (Algebra)/Odd Power
 * 1042) Definition:Power of Element/Monoid/Invertible Element
 * 1043) Definition:Power of Element
 * 1044) Definition:Pre-Image Sigma-Algebra
 * 1045) Definition:Pre-Socratic
 * 1046) Definition:Precise Refinement of Cover
 * 1047) Definition:Preimage Set
 * 1048) Definition:Preimage/Relation/Element
 * 1049) Definition:Preimage/Relation
 * 1050) Definition:Preorder Category/Definition 2
 * 1051) Definition:Preordering/Definition 2
 * 1052) Definition:Primal
 * 1053) Definition:Prime Element
 * 1054) Definition:Prime Enumeration Function
 * 1055) Definition:Prime Exponent Function
 * 1056) Definition:Prime Factor
 * 1057) Definition:Prime Group
 * 1058) Definition:Prime Ideal (Order Theory)
 * 1059) Definition:Prime Number/Definition 3
 * 1060) Definition:Prime Number/Negative Prime
 * 1061) Definition:Prime Power
 * 1062) Definition:Primitive Element of Field Extension
 * 1063) Definition:Primitive Recursion/One Variable
 * 1064) Definition:Primitive Recursion/Partial Function
 * 1065) Definition:Primitive Recursion/Several Variables
 * 1066) Definition:Primitive Recursion
 * 1067) Definition:Primitive Recursive/Function
 * 1068) Definition:Primitive Recursive/Relation
 * 1069) Definition:Primitive Recursive/Set
 * 1070) Definition:Primitive Recursive
 * 1071) Definition:Primorial
 * 1072) Definition:Probability Function
 * 1073) Definition:Probability Mass Function/General Definition
 * 1074) Definition:Probability Space/Continuous
 * 1075) Definition:Probability Space/Discrete
 * 1076) Definition:Product (Category Theory)/General Definition/Finite Product
 * 1077) Definition:Product (Category Theory)/General Definition
 * 1078) Definition:Product (Category Theory)
 * 1079) Definition:Product Inverse
 * 1080) Definition:Product Notation (Algebra)/Multiplicand
 * 1081) Definition:Product of Affine Spaces
 * 1082) Definition:Product of Ideals of Ring
 * 1083) Definition:Product Space
 * 1084) Definition:Product Topology
 * 1085) Definition:Projective Module
 * 1086) Definition:Projective Space/Over a Field
 * 1087) Definition:Projective Space/Real Projective Space
 * 1088) Definition:Projective Space
 * 1089) Definition:Pronormal Subgroup
 * 1090) Definition:Proof System/Formal Proof
 * 1091) Definition:Proof System
 * 1092) Definition:Proper Coloring
 * 1093) Definition:Proper Element of Ring
 * 1094) Definition:Proper G-Submodule
 * 1095) Definition:Properties of Algebraic Structures of One Operation
 * 1096) Definition:Properties of Algebraic Structures of Two Operations
 * 1097) Definition:Propositional Expansion/Existential Quantifier
 * 1098) Definition:Propositional Expansion/Universal Quantifier
 * 1099) Definition:Propositional Expansion
 * 1100) Definition:Propositional Function/Examples
 * 1101) Definition:Provable Consequence
 * 1102) Definition:Prüfer Domain
 * 1103) Definition:Prüfer Sequence
 * 1104) Definition:Pseudometric/Pseudometric Space
 * 1105) Definition:Pseudometrizable Topology
 * 1106) Definition:Pseudometrizable
 * 1107) Definition:Pure Set Theory
 * 1108) Definition:Pure Transcendental Extension
 * 1109) Definition:Pyramidal Number
 * 1110) Definition:Pythagorean Equation
 * 1111) Definition:Quadratic Algebra
 * 1112) Definition:Quadratic Real Algebra
 * 1113) Definition:Quadrilateral/Parallelogram/Altitude
 * 1114) Definition:Quadrilateral/Parallelogram/Base
 * 1115) Definition:Quadrilateral/Rectangle/Containment
 * 1116) Definition:Quadrilateral/Rhomboid
 * 1117) Definition:Quadrilateral/Trapezium
 * 1118) Definition:Quadrilateral/Trapezoid/Height
 * 1119) Definition:Quantified Statement
 * 1120) Definition:Quasigroup/Left Quasigroup
 * 1121) Definition:Quasigroup/Right Quasigroup
 * 1122) Definition:Quasimetric/Quasimetric Space
 * 1123) Definition:Quaternion/Algebra over Field
 * 1124) Definition:Quaternion/Construction from Complex Pairs
 * 1125) Definition:Radical Extension
 * 1126) Definition:Radical Ideal of Ring
 * 1127) Definition:Radical of Integer
 * 1128) Definition:Radical of Ideal of Ring
 * 1129) Definition:Ramanujan Sum
 * 1130) Definition:Ramsey Number
 * 1131) Definition:Rank (Linear Algebra)
 * 1132) Definition:Rate
 * 1133) Definition:Ratio Ex Aequali
 * 1134) Definition:Rational Sequence
 * 1135) Definition:Rational-Valued Function
 * 1136) Definition:Ray (Order Theory)
 * 1137) Definition:Ray (Topology)
 * 1138) Definition:Reachability Relation
 * 1139) Definition:Reachable
 * 1140) Definition:Real Algebra
 * 1141) Definition:Real Element in Star-Algebra
 * 1142) Definition:Real Interval/Empty
 * 1143) Definition:Real Interval/Midpoint
 * 1144) Definition:Real Interval/Notation/Conventional
 * 1145) Definition:Real Interval/Notation/Reverse-Bracket
 * 1146) Definition:Real Interval/Notation/Unbounded Intervals
 * 1147) Definition:Real Interval/Notation
 * 1148) Definition:Real Matrix
 * 1149) Definition:Reciprocal Proportion
 * 1150) Definition:Rectifiable Curve
 * 1151) Definition:Rectification
 * 1152) Definition:Recursive/Function
 * 1153) Definition:Recursive/Relation
 * 1154) Definition:Recursive/Set
 * 1155) Definition:Recursive
 * 1156) Definition:Reduced Ring
 * 1157) Definition:Reducible G-Module
 * 1158) Definition:Reducible Linear Representation
 * 1159) Definition:Refinement
 * 1160) Definition:Reflexive Closure/Intersection of Reflexive Supersets
 * 1161) Definition:Reflexive Closure/Smallest Reflexive Superset
 * 1162) Definition:Reflexive Closure
 * 1163) Definition:Reflexive Reduction
 * 1164) Definition:Reflexive Transitive Closure/Reflexive Closure of Transitive Closure
 * 1165) Definition:Reflexive Transitive Closure/Transitive Closure of Reflexive Closure
 * 1166) Definition:Reflexive Transitive Closure
 * 1167) Definition:Reflexivity
 * 1168) Definition:Region/Metric Space
 * 1169) Definition:Regular Expression
 * 1170) Definition:Regular Value
 * 1171) Definition:Reidemeister Move
 * 1172) Definition:Relation Conversely Compatible with Operation
 * 1173) Definition:Relation Strongly Compatible with Operation
 * 1174) Definition:Relational Closure
 * 1175) Definition:Relational Loop
 * 1176) Definition:Relatively Closed
 * 1177) Definition:Residue (Complex Analysis)
 * 1178) Definition:Residue
 * 1179) Definition:Rest Mass
 * 1180) Definition:Restricted Existential Quantifier
 * 1181) Definition:Restricted Universal Quantifier
 * 1182) Definition:Restriction of Ordering
 * 1183) Definition:Rig
 * 1184) Definition:Right Angle/Perpendicular/Foot
 * 1185) Definition:Right Angle/Perpendicular
 * 1186) Definition:Right Cancellable Operation
 * 1187) Definition:Right Cancellable
 * 1188) Definition:Right Circular Cone/Acute-Angled
 * 1189) Definition:Right Circular Cone/Base
 * 1190) Definition:Right Circular Cone/Directrix
 * 1191) Definition:Right Circular Cone/Generatrix
 * 1192) Definition:Right Circular Cone/Obtuse-Angled
 * 1193) Definition:Right Circular Cone/Opening Angle
 * 1194) Definition:Right Circular Cone/Right-Angled
 * 1195) Definition:Right Circular Cone/Similar Cones
 * 1196) Definition:Right Difference Quotient
 * 1197) Definition:Right Inverse
 * 1198) Definition:Right-Hand Derivative
 * 1199) Definition:Right-Total Relation
 * 1200) Definition:Ring (Abstract Algebra)/Binding Priority
 * 1201) Definition:Ring Extension
 * 1202) Definition:Ring of Sets/Definition 1
 * 1203) Definition:Ring of Sets
 * 1204) Definition:Root of Propositional Tableau
 * 1205) Definition:Root of Unity Modulo m
 * 1206) Definition:Rooted Subtree
 * 1207) Definition:Rooted Tree/Child Node/Grandchild Node
 * 1208) Definition:Rooted Tree/Descendant
 * 1209) Definition:Rooted Tree/Proper Descendant
 * 1210) Definition:Rooted Tree/Sibling
 * 1211) Definition:Satisfiable/Formula
 * 1212) Definition:Satisfiable/Set of Formulas
 * 1213) Definition:Saturated Model
 * 1214) Definition:Schreier Domain
 * 1215) Definition:Schwarz Function
 * 1216) Definition:Scope
 * 1217) Definition:Secant Function/Complex
 * 1218) Definition:Secant Function/Real
 * 1219) Definition:Secant Function/Definition from Circle/First Quadrant
 * 1220) Definition:Secant Function/Definition from Circle/Fourth Quadrant
 * 1221) Definition:Secant Function/Definition from Circle/Second Quadrant
 * 1222) Definition:Secant Function/Definition from Circle/Third Quadrant
 * 1223) Definition:Secant Function/Definition from Circle
 * 1224) Definition:Second Chebyshev Function
 * 1225) Definition:Second Order Ordinary Differential Equation
 * 1226) Definition:Second Order Partial Differential Equation
 * 1227) Definition:Section of Line by Line
 * 1228) Definition:Segment of Circle/Angle in Segment
 * 1229) Definition:Segment of Circle/Angle of Segment
 * 1230) Definition:Segment of Circle/Base
 * 1231) Definition:Segment of Circle/Similar
 * 1232) Definition:Seifert Matrix
 * 1233) Definition:Self Distributive
 * 1234) Definition:Self-Inverse Element
 * 1235) Definition:Self-Map
 * 1236) Definition:Self-Normalizing Subgroup
 * 1237) Definition:Semihereditary Ring
 * 1238) Definition:Seminorm
 * 1239) Definition:Semiring (Abstract Algebra)
 * 1240) Definition:Semiring
 * 1241) Definition:Separated by Closed Neighborhoods
 * 1242) Definition:Separated by Function
 * 1243) Definition:Separated by Neighborhoods
 * 1244) Definition:Separation of Ratio
 * 1245) Definition:Sequence Coding
 * 1246) Definition:Sequence/Empty Sequence
 * 1247) Definition:Sequential Continuity
 * 1248) Definition:Series/General/Sequence of Partial Products
 * 1249) Definition:Series/General
 * 1250) Definition:Series/Tail
 * 1251) Definition:Set of Truth Values
 * 1252) Definition:Set Variable
 * 1253) Definition:Set/Implicit Set Definition/Multipart Infinite Set
 * 1254) Definition:Sheffer Operator
 * 1255) Definition:Short Exact Sequence of Modules
 * 1256) Definition:Sierpiński Number
 * 1257) Definition:Sigma-Algebra/Definition 4
 * 1258) Definition:Sigma-Algebra
 * 1259) Definition:Sigma-Ring/Definition 1
 * 1260) Definition:Sigma-Ring
 * 1261) Definition:Sign of Permutation
 * 1262) Definition:Signature (Logic)
 * 1263) Definition:Signed Area
 * 1264) Definition:Signum Function/Natural Numbers
 * 1265) Definition:Signum Function/Signum Complement
 * 1266) Definition:Similar Figures
 * 1267) Definition:Similar Inclination
 * 1268) Definition:Similar Triangles
 * 1269) Definition:Simple Extension
 * 1270) Definition:Simply Connected
 * 1271) Definition:Simultaneous Congruences
 * 1272) Definition:Sine/Definition from Circle/First Quadrant
 * 1273) Definition:Sine/Definition from Circle/Fourth Quadrant
 * 1274) Definition:Sine/Definition from Circle/Second Quadrant
 * 1275) Definition:Sine/Definition from Circle/Third Quadrant
 * 1276) Definition:Sine/Definition from Circle
 * 1277) Definition:Singleton Relation
 * 1278) Definition:Skolem Sequence
 * 1279) Definition:Smallest
 * 1280) Definition:Smooth Differentiable Structure
 * 1281) Definition:Smooth Homotopy
 * 1282) Definition:Solid Figure
 * 1283) Definition:Solid Number
 * 1284) Definition:Sound Proof System
 * 1285) Definition:Spacetime
 * 1286) Definition:Spanning Subgraph
 * 1287) Definition:Spanning Tree/Cutting-Down Method
 * 1288) Definition:Spectrum of Ring
 * 1289) Definition:Sphere/Geometry/Axis
 * 1290) Definition:Sphere/Geometry/Center
 * 1291) Definition:Sphere/Geometry/Diameter
 * 1292) Definition:Sphere/Geometry/Radius
 * 1293) Definition:Sphere/Topology/Center
 * 1294) Definition:Sphere/Topology/Radius
 * 1295) Definition:Splitting Field
 * 1296) Definition:Square-Free Integer
 * 1297) Definition:Stability (Differential Equations)
 * 1298) Definition:Stability (Model Theory)
 * 1299) Definition:Stable under Intersection
 * 1300) Definition:Standard Affine Space
 * 1301) Definition:Standard Affine Structure on Vector Space
 * 1302) Definition:Standard Number Field
 * 1303) Definition:Star Shaped Set
 * 1304) Definition:Statement Form/Substatement
 * 1305) Definition:Steiner Inellipse
 * 1306) Definition:Steiner Triple System
 * 1307) Definition:Stirling Numbers
 * 1308) Definition:Stirling's Triangle of the First Kind (Signed)
 * 1309) Definition:Stirling's Triangles
 * 1310) Definition:Stratified Random Sample/Strata
 * 1311) Definition:Stratified Random Sample
 * 1312) Definition:Strict Ordering/Antireflexive and Transitive
 * 1313) Definition:Strict Partial Ordering
 * 1314) Definition:Strict Upper Closure
 * 1315) Definition:Strict Weak Ordering
 * 1316) Definition:Strict Well-Ordering
 * 1317) Definition:Strictly Decreasing
 * 1318) Definition:Strictly Increasing
 * 1319) Definition:Strictly Monotone/Sequence/Real Sequence
 * 1320) Definition:Strictly Monotone
 * 1321) Definition:Strictly Negative/Integer
 * 1322) Definition:Strictly Negative/Number
 * 1323) Definition:Strictly Negative/Rational Number
 * 1324) Definition:Strictly Negative
 * 1325) Definition:Strictly Positive/Number
 * 1326) Definition:Strictly Positive/Rational Number
 * 1327) Definition:Strictly Precede/Definition 1
 * 1328) Definition:Strictly Precede
 * 1329) Definition:Strictly Succeed
 * 1330) Definition:Strictly Totally Ordered Set
 * 1331) Definition:Strictly Well-Ordered Set
 * 1332) Definition:Strongly Additive Function
 * 1333) Definition:Structure
 * 1334) Definition:Sub-Basis
 * 1335) Definition:Sub-Sigma-Algebra
 * 1336) Definition:Subadditive Function (Conventional)
 * 1337) Definition:Subadditive Function (Measure Theory)
 * 1338) Definition:Subadditive Function
 * 1339) Definition:Subalgebra
 * 1340) Definition:Subcategory
 * 1341) Definition:Subcontinuum
 * 1342) Definition:Subcover/Countable
 * 1343) Definition:Subcover/Finite
 * 1344) Definition:Subdivision (Real Analysis)/Normal Subdivision
 * 1345) Definition:Subgraph/Embedding
 * 1346) Definition:Sublattice
 * 1347) Definition:Submanifold
 * 1348) Definition:Submersion
 * 1349) Definition:Subnormal Subgroup
 * 1350) Definition:Subobject Class/Morphism Class
 * 1351) Definition:Subsemiring
 * 1352) Definition:Substatement
 * 1353) Definition:Substitution (Mathematical Logic)
 * 1354) Definition:Substring
 * 1355) Definition:Subtraction/Natural Numbers
 * 1356) Definition:Subtree (Graph Theory)
 * 1357) Definition:Subtree
 * 1358) Definition:Succeed
 * 1359) Definition:Successor
 * 1360) Definition:Sufficiently Large
 * 1361) Definition:Sum Over Divisors
 * 1362) Definition:Summation/Summand
 * 1363) Definition:Support of Continuous Mapping
 * 1364) Definition:Support of Distribution
 * 1365) Definition:Support of Continuous Real-Valued Function
 * 1366) Definition:Support of Real-Valued Function
 * 1367) Definition:Support
 * 1368) Definition:Supremum of Mapping
 * 1369) Definition:Supremum of Set/Finite Supremum
 * 1370) Definition:Surjective on Morphisms
 * 1371) Definition:Surjective on Objects
 * 1372) Definition:Symmetric Closure
 * 1373) Definition:Symmetric Polynomial
 * 1374) Definition:Symmetric Set
 * 1375) Definition:Symmetry (Relation)
 * 1376) Definition:System of Sets
 * 1377) Definition:Tangent Bundle
 * 1378) Definition:Tangent Map
 * 1379) Definition:Tangent Space
 * 1380) Definition:Tangent Function/Complex
 * 1381) Definition:Tangent Function/Definition from Circle/First Quadrant
 * 1382) Definition:Tangent Function/Definition from Circle/Fourth Quadrant
 * 1383) Definition:Tangent Function/Definition from Circle/Second Quadrant
 * 1384) Definition:Tangent Function/Definition from Circle/Third Quadrant
 * 1385) Definition:Tangent Function/Definition from Circle
 * 1386) Definition:Tangent Circles
 * 1387) Definition:Tarski's Geometry
 * 1388) Definition:Tautology/Formal Semantics
 * 1389) Definition:Term (Natural Language)
 * 1390) Definition:Time Period
 * 1391) Definition:Time-Constructible Function
 * 1392) Definition:Top (Lattice Theory)/Definition 1
 * 1393) Definition:Top (Lattice Theory)/Definition 2
 * 1394) Definition:Top (Lattice Theory)
 * 1395) Definition:Topological Division Ring
 * 1396) Definition:Topological Equivalence
 * 1397) Definition:Topological Field
 * 1398) Definition:Topological Group/Definition 1
 * 1399) Definition:Topological Group/Definition 2
 * 1400) Definition:Topological Group
 * 1401) Definition:Topological Manifold/Complex Manifold
 * 1402) Definition:Topological Manifold/Differentiable Manifold
 * 1403) Definition:Topological Manifold/Smooth Manifold
 * 1404) Definition:Topological Manifold
 * 1405) Definition:Topological Ring
 * 1406) Definition:Topological Semigroup
 * 1407) Definition:Topological Vector Space
 * 1408) Definition:Topologically Distinguishable
 * 1409) Definition:Topology Generated by Synthetic Basis
 * 1410) Definition:Topology on Extended Real Numbers
 * 1411) Definition:Torus (Topology)
 * 1412) Definition:Total Derivative
 * 1413) Definition:Total Function
 * 1414) Definition:Total Preordering
 * 1415) Definition:Total Recursive Function
 * 1416) Definition:Totally Bounded Metric Space/Definition 2
 * 1417) Definition:Totally Bounded Metric Space
 * 1418) Definition:Totally Ordered Commutative Semigroup
 * 1419) Definition:Totally Ordered Group
 * 1420) Definition:Totally Ordered Semigroup
 * 1421) Definition:Totally Ordered Structure
 * 1422) Definition:Tower of Fields
 * 1423) Definition:Trace (Linear Algebra)
 * 1424) Definition:Trace Table
 * 1425) Definition:Transcendence Degree
 * 1426) Definition:Transcendental Field Extension
 * 1427) Definition:Transcendental Element of Field Extension
 * 1428) Definition:Transcendental
 * 1429) Definition:Transfer Function
 * 1430) Definition:Transitive Closure (Relation Theory)/Intersection of Transitive Supersets
 * 1431) Definition:Transitive Closure (Relation Theory)/Smallest Transitive Superset
 * 1432) Definition:Transitive Closure (Relation Theory)/Union of Compositions
 * 1433) Definition:Transitive Closure
 * 1434) Definition:Transitive Reduction
 * 1435) Definition:Transitive with Respect to a Relation
 * 1436) Definition:Transitivity (Relation Theory)
 * 1437) Definition:Translation-Invariant Measure
 * 1438) Definition:Tree (Graph Theory)/Definition 1
 * 1439) Definition:Tree (Set Theory)
 * 1440) Definition:Triangle (Geometry)/Adjacent
 * 1441) Definition:Triangle (Geometry)/Isosceles/Apex
 * 1442) Definition:Triangle (Geometry)/Isosceles/Legs
 * 1443) Definition:Triangle (Geometry)/Nomenclature
 * 1444) Definition:Triangle (Graph Theory)
 * 1445) Definition:Trichotomy
 * 1446) Definition:Triplicate Ratio
 * 1447) Definition:Trivial Character
 * 1448) Definition:Trivial G-Module
 * 1449) Definition:Trivial Gradation
 * 1450) Definition:Trivial Norm
 * 1451) Definition:Trivial Partition
 * 1452) Definition:Trivial Topological Space
 * 1453) Definition:Trivial
 * 1454) Definition:Truth Function/Connective
 * 1455) Definition:Two (Ordinal)
 * 1456) Definition:Type Space
 * 1457) Definition:Type
 * 1458) Definition:Ultrafilter on Set
 * 1459) Definition:Ultraproduct
 * 1460) Definition:Unambiguous
 * 1461) Definition:Unbounded Divergent Sequence
 * 1462) Definition:Unbounded Divergent Sequence/Complex Sequence
 * 1463) Definition:Underlying Graph
 * 1464) Definition:Underlying Set Functor
 * 1465) Definition:Undirected Graph
 * 1466) Definition:Uniform Convergence Almost Everywhere
 * 1467) Definition:Uniform Equivalence
 * 1468) Definition:Union of Relations/General Definition
 * 1469) Definition:Union of Relations
 * 1470) Definition:Union Relation
 * 1471) Definition:Unique Parsability
 * 1472) Definition:Uniquely Complemented Lattice
 * 1473) Definition:Unit Arithmetic Function
 * 1474) Definition:Unit of System of Sets
 * 1475) Definition:Unital Subalgebra
 * 1476) Definition:Universal Graph
 * 1477) Definition:Universal Model
 * 1478) Definition:Universal Net
 * 1479) Definition:Universally Compatible Relation
 * 1480) Definition:Universally Congruent
 * 1481) Definition:Unlimited Register Machine
 * 1482) Definition:Unsatisfiable/Boolean Interpretations
 * 1483) Definition:Unsatisfiable/Formula
 * 1484) Definition:Unsatisfiable/Set of Formulas
 * 1485) Definition:Upper Closure of Element
 * 1486) Definition:Upper Section/Definition 1
 * 1487) Definition:Upper Section/Definition 2
 * 1488) Definition:Upper Section/Definition 3
 * 1489) Definition:URM Computability
 * 1490) Definition:Valuation Ring
 * 1491) Definition:Valuation
 * 1492) Definition:Vector Space Automorphism
 * 1493) Definition:Vector Space Monomorphism
 * 1494) Definition:Vectorialization of Affine Space
 * 1495) Definition:Veridical Paradox
 * 1496) Definition:Vertex Cut
 * 1497) Definition:Von Mangoldt Function
 * 1498) Definition:Walk (Graph Theory)/Open
 * 1499) Definition:Wedge Product
 * 1500) Definition:Weight Function
 * 1501) Definition:Well-Founded Class
 * 1502) Definition:Witness Property
 * 1503) Definition:Word Metric
 * 1504) Definition:Zariski Topology
 * 1505) Definition:Zero (Ordinal)
 * 1506) Definition:Zero Divisor/Algebra
 * 1507) Definition:Zero Locus
 * 1508) Definition:Zero Subspace
 * 1509) Definition:ZFC