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.

Page List

 * 1) Definition:(1-3)Parastrophe
 * 2) Definition:(2-3)Parastrophe
 * 3) Definition:A Fortiori
 * 4) Definition:Abelian Group Axioms
 * 5) Definition:Abnormal Subgroup
 * 6) Definition:Absolute Continuity
 * 7) Definition:Absolute Convergence of Product
 * 8) Definition:Absolutely Convergent Series/Complex Numbers
 * 9) Definition:Absolutely Convergent Series/General
 * 10) Definition:Absolutely Convergent Series
 * 11) Definition:Absolute Value of Mapping/Extended Real-Valued Function
 * 12) Definition:Absolute Value of Mapping/Real-Valued Function
 * 13) Definition:Absolute Value of Mapping
 * 14) Definition:Absolute Value/Norm Theory
 * 15) Definition:Absolute Zero
 * 16) Definition:Absorbent Set
 * 17) Definition:Absorption Law
 * 18) Definition:Absurd
 * 19) Definition:Abundance
 * 20) Definition:Abuse of Notation
 * 21) Definition:Action
 * 22) Definition:Acyclic Graph
 * 23) Definition:Addition of Polynomials/Polynomial Forms
 * 24) Definition:Addition of Polynomials
 * 25) Definition:Addition/Multiindices
 * 26) Definition:Addition/Natural Numbers
 * 27) Definition:Addition/Naturally Ordered Semigroup
 * 28) Definition:Additive Function (Conventional)
 * 29) Definition:Additive Function on Integers
 * 30) Definition:Additive Group of Complex Numbers
 * 31) Definition:Additive Group of Integer Multiples
 * 32) Definition:Additive Group of Integers Modulo m
 * 33) Definition:Additive Group of Rational Numbers
 * 34) Definition:Additive Monoid of Natural Numbers
 * 35) Definition:Adherent Point/Definition 2
 * 36) Definition:Adjacent (Graph Theory)/Edges/Digraph
 * 37) Definition:Adjacent (Graph Theory)/Edges
 * 38) Definition:Adjacent (Graph Theory)/Faces
 * 39) Definition:Adjacent (Graph Theory)/Vertices/Digraph
 * 40) Definition:Adjacent (Graph Theory)/Vertices
 * 41) Definition:Adjacent (Graph Theory)
 * 42) Definition:Adjacent
 * 43) Definition:Affine Algebraic Set
 * 44) Definition:Affine Algebraic Variety
 * 45) Definition:Affine Frame
 * 46) Definition:Affine Space/Difference Space
 * 47) Definition:Affine Space
 * 48) Definition:Affine Subspace
 * 49) Definition:Affirmative Categorical Statement
 * 50) Definition:Age
 * 51) Definition:Agreement/Relations
 * 52) Definition:Agreement
 * 53) Definition:Aleph Hypothesis
 * 54) Definition:Alexander Polynomial
 * 55) Definition:Algebra (Abstract Algebra)
 * 56) Definition:Algebra of Sets/Definition 1
 * 57) Definition:Algebra over Ring
 * 58) Definition:Algebraic (Model Theory)
 * 59) Definition:Algebraic Integer/Quadratic
 * 60) Definition:Algebraic Integer
 * 61) Definition:Algebraic Number Field
 * 62) Definition:Algebraic Substructure
 * 63) Definition:Algebraic Field Extension
 * 64) Definition:Algebraic Element of Field Extension
 * 65) Definition:Algebraic
 * 66) Definition:Algebraically Closed Field
 * 67) Definition:Algebraically Independent
 * 68) Definition:Algorithmic Computability
 * 69) Definition:All-Harshad Number
 * 70) Definition:Alternate Ratio
 * 71) Definition:Altitude of Triangle
 * 72) Definition:Ampere (Unit)
 * 73) Definition:Ampheck
 * 74) Definition:Analytic Continuation
 * 75) Definition:Analytic Function/Complex Plane
 * 76) Definition:Analytic Function
 * 77) Definition:Analytic Geometry/Plane
 * 78) Definition:Analytic Geometry/Solid
 * 79) Definition:Angle Bisector
 * 80) Definition:Angle/Adjacent
 * 81) Definition:Angle/Rectilineal
 * 82) Definition:Angle/Subtend
 * 83) Definition:Angle/Unit
 * 84) Definition:Annihilator
 * 85) Definition:Antiassociative Structure
 * 86) Definition:Antiassociative
 * 87) Definition:Antihomomorphism
 * 88) Definition:Antinomy
 * 89) Definition:Antisymmetric Quotient
 * 90) Definition:Apotome/Fifth Apotome
 * 91) Definition:Apotome/First Apotome
 * 92) Definition:Apotome/Fourth Apotome
 * 93) Definition:Apotome/Second Apotome
 * 94) Definition:Apotome/Sixth Apotome
 * 95) Definition:Apotome/Third Apotome
 * 96) Definition:Apotome
 * 97) Definition:Arbitrarily Large
 * 98) Definition:Arborescence
 * 99) Definition:Arc-Connected/Subset
 * 100) Definition:Arc-Connected
 * 101) Definition:Archimedean Property/Norm
 * 102) Definition:Archimedean Property/Ordering
 * 103) Definition:Archimedean Property
 * 104) Definition:Archimedean
 * 105) Definition:Argument (Complex Analysis)
 * 106) Definition:Argumentum ad Passiones
 * 107) Definition:Argumentum ad Verecundiam
 * 108) Definition:Arithmetic Function
 * 109) Definition:Operation/Arity/Finitary
 * 110) Definition:Operation/Arity/Multiary
 * 111) Definition:Operation/Arity/Ternary
 * 112) Definition:Operation/Arity/Zero
 * 113) Definition:Operation/Arity
 * 114) Definition:Artinian Module
 * 115) Definition:Artinian Ring
 * 116) Definition:Ascending Chain Condition
 * 117) Definition:Assembly (Mathematical Theory)
 * 118) Definition:Associate/Integral Domain/Definition 2
 * 119) Definition:Associate/Integral Domain
 * 120) Definition:Associate
 * 121) Definition:Atlas
 * 122) Definition:Atom
 * 123) Definition:Atomic Domain
 * 124) Definition:Axiom/Formal Systems/Axiom Schema
 * 125) Definition:Axiom/Formal Systems
 * 126) Definition:Backus-Naur Form/Alphabet
 * 127) Definition:Backus-Naur Form/Rules of Formation
 * 128) Definition:Backus-Naur Form/Specification
 * 129) Definition:Baire Space (Set Theory)
 * 130) Definition:Baire Space (Topology)
 * 131) Definition:Baire Space
 * 132) Definition:Balanced Incomplete Block Design
 * 133) Definition:Balanced Signed Graph
 * 134) Definition:Balanced String
 * 135) Definition:Band
 * 136) Definition:Barycenter
 * 137) Definition:Basic Null Sequence
 * 138) Definition:Basic Open Set
 * 139) Definition:Basic Primitive Recursive Function/Identity Function
 * 140) Definition:Basic Primitive Recursive Function/Projection Function
 * 141) Definition:Basic Primitive Recursive Function/Successor Function
 * 142) Definition:Basic Primitive Recursive Function/URM Computability
 * 143) Definition:Basic Primitive Recursive Function/Zero Function
 * 144) Definition:Basic Primitive Recursive Function
 * 145) Definition:Basis (Topology)/Countable Basis
 * 146) Definition:Basis (Topology)
 * 147) Definition:Basis Element
 * 148) Definition:Bernoulli Process
 * 149) Definition:Biconditional/Truth Function
 * 150) Definition:Big Model
 * 151) Definition:Big-Omega
 * 152) Definition:Big-Theta
 * 153) Definition:Bijective Restriction
 * 154) Definition:Bilinear Mapping
 * 155) Definition:Binomial Coefficient/Multiindices
 * 156) Definition:Binomial (Euclidean)/Fifth Binomial
 * 157) Definition:Binomial (Euclidean)/First Binomial
 * 158) Definition:Binomial (Euclidean)/Fourth Binomial
 * 159) Definition:Binomial (Euclidean)/Second Binomial
 * 160) Definition:Binomial (Euclidean)/Sixth Binomial
 * 161) Definition:Binomial (Euclidean)/Third Binomial
 * 162) Definition:Bisection
 * 163) Definition:Block Incidence Matrix of a Design
 * 164) Definition:Boolean Algebra/Definition 3
 * 165) Definition:Boolean Interpretation/Formal Semantics/Invalid
 * 166) Definition:Boolean Interpretation/Formal Semantics
 * 167) Definition:Boolean Lattice/Definition 1
 * 168) Definition:Boolean Lattice/Definition 2
 * 169) Definition:Borel Algebra
 * 170) Definition:Bottom (Lattice Theory)/Definition 1
 * 171) Definition:Bottom (Lattice Theory)/Definition 2
 * 172) Definition:Bottom (Lattice Theory)
 * 173) Definition:Bottom-Up Form of Top-Down Grammar
 * 174) Definition:Bottom
 * 175) Definition:Boubaker Polynomials
 * 176) Definition:Boundary (Geometry)/Containment
 * 177) Definition:Boundary (Geometry)
 * 178) Definition:Boundary (Graph Theory)
 * 179) Definition:Bounded Above
 * 180) Definition:Bounded Below
 * 181) Definition:Bounded Lattice/Definition 1
 * 182) Definition:Bounded Lattice/Definition 2
 * 183) Definition:Bounded Lattice/Definition 3
 * 184) Definition:Bounded Lattice
 * 185) Definition:Bounded Minimization
 * 186) Definition:Bounded Ordered Set
 * 187) Definition:Bounded Mapping/Complex-Valued
 * 188) Definition:Bounded Mapping
 * 189) Definition:Bounded Metric Space/Unbounded
 * 190) Definition:Bounded Sequence
 * 191) Definition:Bounded
 * 192) Definition:Box Topology
 * 193) Definition:Bozo Bit
 * 194) Definition:Braid Group
 * 195) Definition:By Hypothesis
 * 196) Definition:Bézout Domain
 * 197) Definition:Bézout Numbers
 * 198) Definition:Can't Happen
 * 199) Definition:Cancellable Operation
 * 200) Definition:Cancellable Semiring
 * 201) Definition:Cancellable
 * 202) Definition:Canonical Form of Rational Number
 * 203) Definition:Canonical Injection
 * 204) Definition:Cantor Normal Form
 * 205) Definition:Cantor Set/Limit of Decreasing Sequence
 * 206) Definition:Cantor Space
 * 207) Definition:Cardinal Exponentiation
 * 208) Definition:Cartesian Product of Family
 * 209) Definition:Cartesian Product of Relations
 * 210) Definition:Categorical (Model Theory)
 * 211) Definition:Categorical Statement/Abbreviation
 * 212) Definition:Category of Cocones
 * 213) Definition:Category of Groups
 * 214) Definition:Category of Vector Spaces
 * 215) Definition:Category with Exponentials
 * 216) Definition:Category with Products/Finite
 * 217) Definition:Category with Products
 * 218) Definition:Category
 * 219) Definition:Cauchy Equivalent
 * 220) Definition:Cauchy Sequence/Rational Numbers
 * 221) Definition:Center (Abstract Algebra)
 * 222) Definition:Center of Tree
 * 223) Definition:Center
 * 224) Definition:Centimetre
 * 225) Definition:Central Subgroup
 * 226) Definition:Centralizer
 * 227) Definition:Cevian
 * 228) Definition:CGS
 * 229) Definition:Chain (Physics)
 * 230) Definition:Chain
 * 231) Definition:Character (Number Theory)
 * 232) Definition:Character (Representation Theory)
 * 233) Definition:Character
 * 234) Definition:Characteristic Function of Random Variable
 * 235) Definition:Characteristic Function of Relation
 * 236) Definition:Characteristic Function (Set Theory)
 * 237) Definition:Characteristic of Ring
 * 238) Definition:Chebyshev Function
 * 239) Definition:Chen Prime
 * 240) Definition:Circle/Center
 * 241) Definition:Circle/Circumference
 * 242) Definition:Circle/Diameter
 * 243) Definition:Circle/Equality
 * 244) Definition:Circle/Equidistant
 * 245) Definition:Circle/Radius
 * 246) Definition:Circle/Semicircle
 * 247) Definition:Circumcircle of Triangle/Circumcenter
 * 248) Definition:Circumcircle of Triangle/Circumradius
 * 249) Definition:Circumcircle of Triangle
 * 250) Definition:Circumference (Graph Theory)
 * 251) Definition:Circumradius
 * 252) Definition:Class (Descriptive Statistics)/Empty Class
 * 253) Definition:Class/Zermelo-Fraenkel
 * 254) Definition:Class
 * 255) Definition:Claw
 * 256) Definition:Clearly
 * 257) Definition:Close Packed/Subset
 * 258) Definition:Close Packed
 * 259) Definition:Closed Ball/Radius
 * 260) Definition:Closed Element/Definition 1
 * 261) Definition:Closed Element/Definition 2
 * 262) Definition:Closed Element
 * 263) Definition:Closed Linear Subspace
 * 264) Definition:Closed Path (Topology)
 * 265) Definition:Closed Set/Closed Point
 * 266) Definition:Closed Set/Closure Operator
 * 267) Definition:Closed Subset
 * 268) Definition:Closed under Mapping
 * 269) Definition:Closed Unit Ball
 * 270) Definition:Closed-Form Expression
 * 271) Definition:Closed-Form Solution
 * 272) Definition:Closure (Abstract Algebra)
 * 273) Definition:Closure (Topology)/Definition 2
 * 274) Definition:Closure (Topology)/Definition 3
 * 275) Definition:Closure (Topology)/Definition 4
 * 276) Definition:Closure (Topology)/Definition 5
 * 277) Definition:Closure (Topology)
 * 278) Definition:Closure Operator/Ordering/Definition 1
 * 279) Definition:Closure Operator/Ordering/Definition 2
 * 280) Definition:Closure Operator/Ordering
 * 281) Definition:Closure Operator/Power Set
 * 282) Definition:Closure Operator
 * 283) Definition:Cluster Point
 * 284) Definition:Co-Countable Set
 * 285) Definition:Cobordism
 * 286) Definition:Codimension
 * 287) Definition:Codomain (Category Theory)
 * 288) Definition:Codomain (Set Theory)
 * 289) Definition:Cofinal Subset
 * 290) Definition:Cofinite Set
 * 291) Definition:Cohomology Groups
 * 292) Definition:Colimit/Finite Colimit
 * 293) Definition:Collation/Collation System
 * 294) Definition:Collation/Unique Readability
 * 295) Definition:Collation
 * 296) Definition:Coloring
 * 297) Definition:Combinable/Relations
 * 298) Definition:Combinable
 * 299) Definition:Commensurable in Square
 * 300) Definition:Commensurable
 * 301) Definition:Commutative Algebra
 * 302) Definition:Commutative and Unitary R-algebra
 * 303) Definition:Commutator/Group
 * 304) Definition:Commutator/Ring
 * 305) Definition:Compact Subspace
 * 306) Definition:Compact Space/Metric Space
 * 307) Definition:Compact Space/Topology/Subspace/Definition 1
 * 308) Definition:Compact Space/Topology/Subspace
 * 309) Definition:Compactification
 * 310) Definition:Compatible Atlases
 * 311) Definition:Complement (Graph Theory)
 * 312) Definition:Complement (Lattice Theory)
 * 313) Definition:Complement of Truth Function
 * 314) Definition:Complementary Idempotent
 * 315) Definition:Complemented Lattice
 * 316) Definition:Complements of Parallelograms
 * 317) Definition:Complete Bipartite Graph
 * 318) Definition:Complete Poset
 * 319) Definition:Completed Dirichlet L-Function
 * 320) Definition:Completed Riemann Zeta Function
 * 321) Definition:Completely Additive Function
 * 322) Definition:Completely Multiplicative Function
 * 323) Definition:Completeness/Order Theory
 * 324) Definition:Completeness/Topology
 * 325) Definition:Completeness
 * 326) Definition:Completion (Measure Space)
 * 327) Definition:Complex Analytic Differentiable Structure
 * 328) Definition:Complex Conjugate/Complex Conjugation
 * 329) Definition:Complex Locally Euclidean Space
 * 330) Definition:Complex Sequence
 * 331) Definition:Complex-Valued Function
 * 332) Definition:Complex
 * 333) Definition:Component (Topology)/Definition 2
 * 334) Definition:Component (Topology)
 * 335) Definition:Composable Morphisms
 * 336) Definition:Composant/Point
 * 337) Definition:Composant
 * 338) Definition:Composite Number/Negative Composite
 * 339) Definition:Composition (Combinatorics)
 * 340) Definition:Composition Functor
 * 341) Definition:Composition of Morphisms
 * 342) Definition:Composition of Ratio
 * 343) Definition:Compound Ratio
 * 344) Definition:Compound Statement/Ill-Formed
 * 345) Definition:Compound Statement/Substatement
 * 346) Definition:Computer Program
 * 347) Definition:Concatenation (Formal Systems)
 * 348) Definition:Concatenation (Topology)
 * 349) Definition:Concatenation of URM Programs
 * 350) Definition:Concatenation
 * 351) Definition:Concentric Circles
 * 352) Definition:Conditional/Language of Conditional/Strong
 * 353) Definition:Conditional/Language of Conditional/Weak
 * 354) Definition:Conditional/Language of Conditional
 * 355) Definition:Conditional/Truth Function
 * 356) Definition:Cone/Apex
 * 357) Definition:Cone/Base
 * 358) Definition:Cone/Height
 * 359) Definition:Conflation
 * 360) Definition:Congruence (Geometry)
 * 361) Definition:Congruence (Metric Spaces)
 * 362) Definition:Congruence (Number Theory)/Integers/Modulo Operation
 * 363) Definition:Congruence (Number Theory)/Residue
 * 364) Definition:Congruence (Number Theory)
 * 365) Definition:Conjugate (Geometry)
 * 366) Definition:Conjugate (Group Theory)
 * 367) Definition:Conjugate Closure
 * 368) Definition:Conjugate of Quadratic Irrational
 * 369) Definition:Connected (Graph Theory)
 * 370) Definition:Connected (Topology)/Set/Definition 2
 * 371) Definition:Connected (Topology)/Topological Space/Definition 2
 * 372) Definition:Connected (Topology)/Topological Space
 * 373) Definition:Connected (Topology)
 * 374) Definition:Connected Sum
 * 375) Definition:Connectivity
 * 376) Definition:Continuation
 * 377) Definition:Convergent of Continued Fraction/Even
 * 378) Definition:Convergent of Continued Fraction/Odd
 * 379) Definition:Convergent of Continued Fraction/Convergent
 * 380) Definition:Continued Fraction/Finite
 * 381) Definition:Continued Fraction/Infinite
 * 382) Definition:Numerators and Denominators of Continued Fraction
 * 383) Definition:Value of Continued Fraction
 * 384) Definition:Continuous Complex Function
 * 385) Definition:Continuous Mapping (Metric Space)/Point/Definition 2
 * 386) Definition:Continuous Mapping (Metric Space)/Point
 * 387) Definition:Continuous Mapping (Metric Space)/Space
 * 388) Definition:Continuous Mapping (Metric Space)
 * 389) Definition:Continuous Function (Real Analysis)/One Side
 * 390) Definition:Continuous Function (Real Analysis)/Subset/Singleton
 * 391) Definition:Continuous Function (Real Analysis)/Subset
 * 392) Definition:Continuous Real-Valued Vector Function
 * 393) Definition:Continuous Mapping (Topology)/Set
 * 394) Definition:Continuous Mapping (Topology)
 * 395) Definition:Continuous Extension
 * 396) Definition:Continuous Mapping
 * 397) Definition:Continuously Embedded
 * 398) Definition:Contradictory/Propositional Tableau
 * 399) Definition:Contradictory
 * 400) Definition:Contranormal Subgroup
 * 401) Definition:Convergence Almost Everywhere
 * 402) Definition:Convergent Function
 * 403) Definition:Convergent Sequence/Topology
 * 404) Definition:Convergent Sequence
 * 405) Definition:Convergent Series/Normed Vector Space
 * 406) Definition:Convergent Series
 * 407) Definition:Conversion of Ratio
 * 408) Definition:Convex Angle
 * 409) Definition:Convex Set (Order Theory)
 * 410) Definition:Convex Set
 * 411) Definition:Coordinate System/Coordinate Function
 * 412) Definition:Coordinate System/Coordinates on Affine Space
 * 413) Definition:Coprime/GCD Domain
 * 414) Definition:Coprime/Integers/Relatively Composite
 * 415) Definition:Cord (Physics)
 * 416) Definition:Coreflexive Relation/Definition 1
 * 417) Definition:Coreflexive Relation/Definition 2
 * 418) Definition:Coreflexive Relation
 * 419) Definition:Corresponding Conditional
 * 420) Definition:Corresponding Magnitudes
 * 421) Definition:Cosecant/Complex Function
 * 422) Definition:Cosecant/Real Function
 * 423) Definition:Cosecant/Definition from Circle/First Quadrant
 * 424) Definition:Cosecant/Definition from Circle/Fourth Quadrant
 * 425) Definition:Cosecant/Definition from Circle/Second Quadrant
 * 426) Definition:Cosecant/Definition from Circle/Third Quadrant
 * 427) Definition:Cosecant/Definition from Circle
 * 428) Definition:Cosine/Definition from Circle/First Quadrant
 * 429) Definition:Cosine/Definition from Circle/Fourth Quadrant
 * 430) Definition:Cosine/Definition from Circle/Second Quadrant
 * 431) Definition:Cosine/Definition from Circle/Third Quadrant
 * 432) Definition:Cosine/Definition from Circle
 * 433) Definition:Cotangent/Complex Function
 * 434) Definition:Cotangent/Real Function
 * 435) Definition:Cotangent/Definition from Circle/First Quadrant
 * 436) Definition:Cotangent/Definition from Circle/Fourth Quadrant
 * 437) Definition:Cotangent/Definition from Circle/Second Quadrant
 * 438) Definition:Cotangent/Definition from Circle/Third Quadrant
 * 439) Definition:Cotangent/Definition from Circle
 * 440) Definition:Coulomb
 * 441) Definition:Countability Axioms
 * 442) Definition:Countable Complement Topology/Countable
 * 443) Definition:Countably Subadditive Function
 * 444) Definition:Cover/Countable
 * 445) Definition:Crackpot
 * 446) Definition:Cross Cancellation Property
 * 447) Definition:Cross Product
 * 448) Definition:Cross-Relation
 * 449) Definition:Cross-Section
 * 450) Definition:Cube Number
 * 451) Definition:Cubic Graph
 * 452) Definition:Cycle (Graph Theory)/Even
 * 453) Definition:Cycle (Graph Theory)/Odd
 * 454) Definition:Cycle (Periodic Solution)
 * 455) Definition:Cycle Decomposition
 * 456) Definition:Cycle Graph
 * 457) Definition:Cyclic Quadrilateral
 * 458) Definition:Cyclic
 * 459) Definition:Cylinder/Axis
 * 460) Definition:Cylinder/Base
 * 461) Definition:Cylinder/Similar Cylinders
 * 462) Definition:Decision Procedure
 * 463) Definition:Decomposable Set
 * 464) Definition:Decreasing/Sequence
 * 465) Definition:Dedekind Complete
 * 466) Definition:Dedekind Completion
 * 467) Definition:Dedekind Cut
 * 468) Definition:Dedekind-Infinite
 * 469) Definition:Dedekind-MacNeille Completion
 * 470) Definition:Deductive Apparatus
 * 471) Definition:Definitional Abbreviation
 * 472) Definition:Degenerate Connected Set/Non-Degenerate
 * 473) Definition:Degenerate Continuum
 * 474) Definition:Degenerate Distribution
 * 475) Definition:Degree of Polynomial/Field
 * 476) Definition:Degree of Polynomial/Polynomial Form
 * 477) Definition:Degree of Polynomial/Sequence/Ring
 * 478) Definition:Degree of Polynomial/Sequence
 * 479) Definition:Degree of Polynomial
 * 480) Definition:Degree Sequence
 * 481) Definition:Deleted Neighborhood/Complex Analysis
 * 482) Definition:Deleted Neighborhood/Metric Space
 * 483) Definition:Deleted Neighborhood/Real Analysis
 * 484) Definition:Deleted Neighborhood/Topology
 * 485) Definition:Deleted Neighborhood
 * 486) Definition:Delta-Algebra
 * 487) Definition:Delta-Ring
 * 488) Definition:Dense
 * 489) Definition:Densely Ordered
 * 490) Definition:Depressed Polynomial
 * 491) Definition:Derivative/Complex Function
 * 492) Definition:Derivative/Higher Derivatives/Order of Derivative
 * 493) Definition:Derivative/Real Function/Derivative on Interval
 * 494) Definition:Descending Chain Condition
 * 495) Definition:Determinant of Linear Operator
 * 496) Definition:Determinant of Matrix/Order 1
 * 497) Definition:Diagonal Mapping
 * 498) Definition:Dialetheia
 * 499) Definition:Diameter of Parallelogram
 * 500) Definition:Diameter of Quadrilateral
 * 501) Definition:Dicyclic Group
 * 502) Definition:Diffeomorphism
 * 503) Definition:Differentiability Class
 * 504) Definition:Differentiable Structure
 * 505) Definition:Differentiable Mapping/Complex Function
 * 506) Definition:Differentiable Mapping/Real Function/Real Number Line
 * 507) Definition:Differentiable Mapping/Real-Valued Function/Open Set
 * 508) Definition:Differentiable Mapping/Real-Valued Function
 * 509) Definition:Differentiable Mapping
 * 510) Definition:Differential Complex
 * 511) Definition:Differential Form
 * 512) Definition:Differential Module
 * 513) Definition:Differential/Real-Valued Function
 * 514) Definition:Differential/Vector-Valued Function
 * 515) Definition:Dimension (Measurement)/Fundamental Dimensions
 * 516) Definition:Dimension (Measurement)/Units
 * 517) Definition:Dimension (Measurement)
 * 518) Definition:Dimension (Representation Theory)
 * 519) Definition:Dimension (Topology)
 * 520) Definition:Dimension
 * 521) Definition:Direct Limit of Sequence of Groups
 * 522) Definition:Directed Graph/Arc/Endvertex
 * 523) Definition:Directed Line Segment
 * 524) Definition:Directed Set
 * 525) Definition:Dirichlet Character
 * 526) Definition:Dirichlet Convolution
 * 527) Definition:Dirichlet Density
 * 528) Definition:Dirichlet L-function
 * 529) Definition:Disconnected
 * 530) Definition:Disconnected (Topology)
 * 531) Definition:Discontinuous
 * 532) Definition:Discrete Measure
 * 533) Definition:Discrete Probability Distribution
 * 534) Definition:Discrete Uniform Distribution
 * 535) Definition:Disjoint Union
 * 536) Definition:Disjunction/Truth Function
 * 537) Definition:Distance-Preserving Mapping
 * 538) Definition:Distance/Points/Real Numbers
 * 539) Definition:Distance/Points
 * 540) Definition:Distance/Sets
 * 541) Definition:Distributand
 * 542) Definition:Distributive Lattice
 * 543) Definition:Distributor
 * 544) Definition:Divergent Sequence to Infinity/Complex Sequence
 * 545) Definition:Divergent Sequence to Infinity
 * 546) Definition:Divide (Model Theory)
 * 547) Definition:Divisor/Factorization
 * 548) Definition:Domain (Category Theory)
 * 549) Definition:Domain (Set Theory)/Binary Operation
 * 550) Definition:Domain (Set Theory)
 * 551) Definition:Dominate (Analysis)
 * 552) Definition:Dominate
 * 553) Definition:Dual Order Embedding
 * 554) Definition:Dual Relation/Complement of Inverse
 * 555) Definition:Dual Relation
 * 556) Definition:Dual Statement (Order Theory)
 * 557) Definition:Dual
 * 558) Definition:Duplicate Ratio
 * 559) Definition:Dyadic Rational
 * 560) Definition:Echelon Matrix
 * 561) Definition:Edge Contraction
 * 562) Definition:Edge-Disjoint Trail
 * 563) Definition:Eisenstein Integer
 * 564) Definition:Eisenstein Prime
 * 565) Definition:Eleatic School
 * 566) Definition:Electric Charge
 * 567) Definition:Electric Current
 * 568) Definition:Elementary Embedding
 * 569) Definition:Elementary Equivalence
 * 570) Definition:Elementary Symmetric Polynomial
 * 571) Definition:Ellipse/Covertex
 * 572) Definition:Ellipse/Equidistance
 * 573) Definition:Ellipse/Focus-Directrix
 * 574) Definition:Ellipse/Major Axis/Semi-Major Axis
 * 575) Definition:Ellipse/Major Axis
 * 576) Definition:Ellipse/Minor Axis/Semi-Minor Axis
 * 577) Definition:Ellipse/Minor Axis
 * 578) Definition:Ellipse/Vertex
 * 579) Definition:Embedded
 * 580) Definition:Embedding (Galois Theory)
 * 581) Definition:Embedding (Model Theory)
 * 582) Definition:Embedding
 * 583) Definition:Empty Infimum
 * 584) Definition:Empty Supremum
 * 585) Definition:Endpoint
 * 586) Definition:Entire Function
 * 587) Definition:Entropy
 * 588) Definition:Enumeration/Countably Infinite
 * 589) Definition:Enumeration/Finite
 * 590) Definition:Epigraph
 * 591) Definition:Equidecomposable
 * 592) Definition:Equimultiples
 * 593) Definition:Equiprobability Space
 * 594) Definition:Equivalence of Categories/Equivalent Categories
 * 595) Definition:Equivalent (Absolute Values)
 * 596) Definition:Equivalent Metrics
 * 597) Definition:Equivalent Representation
 * 598) Definition:Erdős Number
 * 599) Definition:Euclidean Norm
 * 600) Definition:Euclidean Relation
 * 601) Definition:Euclidean Space/Rational
 * 602) Definition:Euler Characteristic
 * 603) Definition:Euler's Number/Exponential Function
 * 604) Definition:Euler's Number/Limit of Series
 * 605) Definition:Euler's Number
 * 606) Definition:Event Space/Discrete
 * 607) Definition:Exact Sequence of Modules
 * 608) Definition:Excircle of Triangle/Excenter
 * 609) Definition:Excircle of Triangle/Exradius
 * 610) Definition:Excircle of Triangle
 * 611) Definition:Excluded Point Topology/Infinite
 * 612) Definition:Exclusive Or/Boolean Interpretation
 * 613) Definition:Exclusive Or/Notational Variants
 * 614) Definition:Exclusive Or/Truth Function
 * 615) Definition:Exponential (Category Theory)/Evaluation
 * 616) Definition:Exponential (Category Theory)/Transpose
 * 617) Definition:Exponential/Complex/Definition 2
 * 618) Definition:Exponential/Complex/Definition 3
 * 619) Definition:Exponential/Complex/Definition 4
 * 620) Definition:Exponential/Complex
 * 621) Definition:Exponentiation Functor
 * 622) Definition:Expression
 * 623) Definition:Extended Absolute Value
 * 624) Definition:Extended Real Addition
 * 625) Definition:Extended Real Multiplication
 * 626) Definition:Extended Real Subtraction
 * 627) Definition:Extension of Branch of Propositional Tableau
 * 628) Definition:Extension of Branch of Rooted Tree
 * 629) Definition:Extension of Propositional Tableau/Definition 2
 * 630) Definition:Extension of Propositional Tableau
 * 631) Definition:Extension of Rooted Tree
 * 632) Definition:Extension of Operation
 * 633) Definition:Extension of Relation
 * 634) Definition:Exterior (Topology)/Notation
 * 635) Definition:Exterior (Topology)
 * 636) Definition:Exterior Derivative
 * 637) Definition:F-Homomorphism
 * 638) Definition:Faithful (Module Theory)
 * 639) Definition:Faithful Functor
 * 640) Definition:Faithful Representation
 * 641) Definition:Faithful
 * 642) Definition:Falsidical Paradox
 * 643) Definition:Falsifiable/Formula
 * 644) Definition:Falsifiable/Set of Formulas
 * 645) Definition:Falsifiable
 * 646) Definition:Farey Sequence
 * 647) Definition:Fiber
 * 648) Definition:Field (Physics)
 * 649) Definition:Field Adjoined Element
 * 650) Definition:Field Automorphism
 * 651) Definition:Field Axioms
 * 652) Definition:Field Endomorphism
 * 653) Definition:Field Epimorphism
 * 654) Definition:Field Homomorphism
 * 655) Definition:Field Monomorphism
 * 656) Definition:Field Norm
 * 657) Definition:Filter
 * 658) Definition:Filtered Algebra
 * 659) Definition:Final Topology
 * 660) Definition:Finished Branch
 * 661) Definition:Finished
 * 662) Definition:Finitary
 * 663) Definition:Finite Category
 * 664) Definition:Finite Complement Topology/Finite
 * 665) Definition:Finite Difference Operator
 * 666) Definition:Finite Dimensional Vector Space
 * 667) Definition:Finite Extended Real Number
 * 668) Definition:Finite Graph
 * 669) Definition:Finite Integral Domain
 * 670) Definition:Finite Join Property
 * 671) Definition:Finite Monoid
 * 672) Definition:Finite Path
 * 673) Definition:Finite Probability Space
 * 674) Definition:Finite Ring Homomorphism
 * 675) Definition:Finite Ring
 * 676) Definition:Finite State Machine
 * 677) Definition:Finitely Branching
 * 678) Definition:Finitely Generated Extension
 * 679) Definition:First Chebyshev Function
 * 680) Definition:Fixed Element of Permutation/Set of Fixed Elements
 * 681) Definition:Fixed Element
 * 682) Definition:Fixed Set of Sets
 * 683) Definition:Force of Gravity
 * 684) Definition:Fork
 * 685) Definition:Forking Extension
 * 686) Definition:Formal Derivative
 * 687) Definition:Formal Grammar/Bottom-Up
 * 688) Definition:Formal Grammar/Top-Down
 * 689) Definition:Formal Language/Alphabet/Letter
 * 690) Definition:Formal Semantics/Structure
 * 691) Definition:Formal Semantics/Valid
 * 692) Definition:Formal Semantics
 * 693) Definition:Fourier Series
 * 694) Definition:FPS
 * 695) Definition:Free Group
 * 696) Definition:Free Idempotent Monoid
 * 697) Definition:Free Semigroup
 * 698) Definition:Free Set of Sets
 * 699) Definition:Friedman Number
 * 700) Definition:Fréchet Space (Topology)
 * 701) Definition:Full Angle
 * 702) Definition:Full Functor
 * 703) Definition:Full Subcategory
 * 704) Definition:Function Symbol
 * 705) Definition:Functionally Complete
 * 706) Definition:Functor
 * 707) Definition:Fundamental Matrix
 * 708) Definition:Fundamental Unit (Physics)
 * 709) Definition:Fundamental Unit
 * 710) Definition:G-Module Homomorphism
 * 711) Definition:G-Module
 * 712) Definition:G-Submodule
 * 713) Definition:Galois Extension
 * 714) Definition:Galois Group of Field Extension
 * 715) Definition:Gaussian Rational
 * 716) Definition:GCD Domain
 * 717) Definition:Generalized Inverse Gaussian Distribution
 * 718) Definition:Generalized Momentum
 * 719) Definition:Generalized Ordered Space/Definition 1
 * 720) Definition:Generalized Ordered Space/Definition 2
 * 721) Definition:Generalized Ordered Space/Definition 3
 * 722) Definition:Generalized Ordered Space
 * 723) Definition:Generated Sigma-Algebra
 * 724) Definition:Generator of Algebra
 * 725) Definition:Generator of Monoid
 * 726) Definition:Generated Algebraic Substructure
 * 727) Definition:Geometric Figure/Diameter
 * 728) Definition:Geometric Figure/Plane Figure
 * 729) Definition:Geometric Figure/Rectilineal Figure
 * 730) Definition:Geometric Figure/Three-Dimensional Figure
 * 731) Definition:Geometric Figure
 * 732) Definition:Geometric Progression/Scale Factor
 * 733) Definition:Girth
 * 734) Definition:Gnomon
 * 735) Definition:Gradation
 * 736) Definition:Graded Algebra
 * 737) Definition:Graded Module
 * 738) Definition:Graded Ring
 * 739) Definition:Graph (Category Theory)
 * 740) Definition:Graph (Graph Theory)/Edge/Endvertex
 * 741) Definition:Gravitational Field
 * 742) Definition:Greedy Algorithm
 * 743) Definition:Greek Alphabet
 * 744) Definition:Ground Field
 * 745) Definition:Group Action Axioms
 * 746) Definition:Group Action
 * 747) Definition:Group Algebra
 * 748) Definition:Group of Units
 * 749) Definition:Groupoid
 * 750) Definition:Gödel-Bernays Axioms
 * 751) Definition:Hadamard Product
 * 752) Definition:Half-Integer
 * 753) Definition:Hall Divisor
 * 754) Definition:Hall Subgroup
 * 755) Definition:Hamiltonian Group
 * 756) Definition:Harshad Number
 * 757) Definition:Hartogs Number
 * 758) Definition:Hausdorff Space
 * 759) Definition:Height (Ring Theory)
 * 760) Definition:Hereditarily Compact
 * 761) Definition:Hereditary Ring
 * 762) Definition:Heronian Mean
 * 763) Definition:Heronian Triangle
 * 764) Definition:Hexagonal Number
 * 765) Definition:Higher-Aleph Complement Topology
 * 766) Definition:Homeomorphism/Manifolds
 * 767) Definition:Homeomorphism/Topological Spaces/Definition 4
 * 768) Definition:Homeomorphism/Topological Spaces
 * 769) Definition:Homeomorphism
 * 770) Definition:Homogeneous (Model Theory)
 * 771) Definition:Homogeneous (Physics)
 * 772) Definition:Homology Group
 * 773) Definition:Homomorphism (Graph Theory)
 * 774) Definition:Homomorphism of Complexes
 * 775) Definition:Homotopy Class
 * 776) Definition:Homotopy Group
 * 777) Definition:Homotopy/Free
 * 778) Definition:Homotopy/Relative
 * 779) Definition:Hurwitz Quaternion
 * 780) Definition:Ideal (Order Theory)
 * 781) Definition:Ideal (Physics)
 * 782) Definition:Idempotence/Mapping
 * 783) Definition:Idempotence
 * 784) Definition:Identity (Abstract Algebra)
 * 785) Definition:Identity Arithmetic Function
 * 786) Definition:Identity Morphism
 * 787) Definition:If
 * 788) Definition:Image Filter
 * 789) Definition:Image Set
 * 790) Definition:Image/Mapping
 * 791) Definition:Image/Relation
 * 792) Definition:Immersion
 * 793) Definition:Implicit Function
 * 794) Definition:In-Degree
 * 795) Definition:In-Order Traversal of Labeled Tree
 * 796) Definition:Incident (Graph Theory)/Digraph/Incident From
 * 797) Definition:Incident (Graph Theory)/Digraph/Incident To
 * 798) Definition:Incident (Graph Theory)/Digraph
 * 799) Definition:Incident (Graph Theory)/Planar Graph
 * 800) Definition:Incident (Graph Theory)
 * 801) Definition:Incircle of Triangle/Incenter
 * 802) Definition:Incircle of Triangle/Inradius
 * 803) Definition:Incircle of Triangle
 * 804) Definition:Inclination/Plane to Plane
 * 805) Definition:Inclination/Straight Line to Plane
 * 806) Definition:Inclusion Relation on Subobject Classes
 * 807) Definition:Inclusion-Reversing
 * 808) Definition:Incommensurable in Square
 * 809) Definition:Incommensurable
 * 810) Definition:Increasing Sequence of Extended Real-Valued Functions
 * 811) Definition:Increasing Sequence of Mappings
 * 812) Definition:Increasing Sequence of Real-Valued Functions
 * 813) Definition:Increasing/Sequence
 * 814) Definition:Independent Events/Dependent
 * 815) Definition:Indeterminate Variable
 * 816) Definition:Indeterminate
 * 817) Definition:Indicator Function
 * 818) Definition:Indicator of Group Element
 * 819) Definition:Indiscernible
 * 820) Definition:Metric Induced by Norm
 * 821) Definition:Induced Operation
 * 822) Definition:Induced Outer Measure
 * 823) Definition:Induced Representation
 * 824) Definition:Induced Subgraph
 * 825) Definition:Inductive Poset
 * 826) Definition:Infimum of Set/Finite Infimum
 * 827) Definition:Infinite Matrix
 * 828) Definition:Infix Notation
 * 829) Definition:Inflection Point
 * 830) Definition:Initial Condition
 * 831) Definition:Initial Topology
 * 832) Definition:Injective on Morphisms
 * 833) Definition:Injective on Objects
 * 834) Definition:Injective Restriction
 * 835) Definition:Inner Limit
 * 836) Definition:Inner Product Space
 * 837) Definition:Integer Division
 * 838) Definition:Integer-Valued Function
 * 839) Definition:Integral Closure
 * 840) Definition:Integral Dependence
 * 841) Definition:Integral Domain/Definition 2
 * 842) Definition:Integral Multiple/Real Numbers
 * 843) Definition:Integral Multiple
 * 844) Definition:Integral Polynomial
 * 845) Definition:Integrally Closed
 * 846) Definition:Interior Point (Topology)
 * 847) Definition:Interior (Topology)
 * 848) Definition:Intermediate Field
 * 849) Definition:Intersection (Geometry)
 * 850) Definition:Intersection of Relations/General Definition
 * 851) Definition:Intersection of Relations
 * 852) Definition:Interval/Ordered Set
 * 853) Definition:Intuitionist School
 * 854) Definition:Inverse (Abstract Algebra)
 * 855) Definition:Inverse Morphism
 * 856) Definition:Inverse of Subset/Monoid
 * 857) Definition:Inverse of Subset
 * 858) Definition:Inverse Ratio
 * 859) Definition:Inverse Semigroup
 * 860) Definition:Inversion Mapping/Topology
 * 861) Definition:Inversion Mapping
 * 862) Definition:Invertible
 * 863) Definition:Irreducible (Representation Theory)/G-Module
 * 864) Definition:Irreducible (Representation Theory)/Linear Representation
 * 865) Definition:Irreducible (Representation Theory)
 * 866) Definition:Irreducible (Ring Theory)/Polynomial
 * 867) Definition:Irreducible Representation
 * 868) Definition:Isolated Point (Complex Analysis)
 * 869) Definition:Isolated Point (Metric Space)/Space
 * 870) Definition:Isolated Point (Metric Space)/Subset
 * 871) Definition:Isolated Point (Metric Space)
 * 872) Definition:Isolated Point (Real Analysis)
 * 873) Definition:Isolated Singularity/Pole
 * 874) Definition:Isolated Type
 * 875) Definition:Isolated Vertex
 * 876) Definition:Isomorphism (Abstract Algebra)/F-Isomorphism
 * 877) Definition:Isomorphism (Abstract Algebra)/Field Isomorphism
 * 878) Definition:Isomorphism (Abstract Algebra)/Ordered Structure Isomorphism
 * 879) Definition:Isomorphism (Abstract Algebra)/R-Algebraic Structure Isomorphism/Module Isomorphism
 * 880) Definition:Isomorphism (Abstract Algebra)/R-Algebraic Structure Isomorphism/Vector Space Isomorphism
 * 881) Definition:Isomorphism of Categories/Isomorphic Categories
 * 882) Definition:Jacobi Symbol
 * 883) Definition:Jacobian/Determinant
 * 884) Definition:Jacobian/Matrix
 * 885) Definition:Jacobson Radical
 * 886) Definition:Jacobson Ring
 * 887) Definition:Johansson's Minimal Calculus
 * 888) Definition:Johansson's Minimal Logic/Axioms
 * 889) Definition:Join (Order Theory)
 * 890) Definition:Join Semilattice
 * 891) Definition:Join
 * 892) Definition:Jordan Arc
 * 893) Definition:Jordan Curve/Exterior
 * 894) Definition:Jordan Curve/Interior
 * 895) Definition:K-Algebra
 * 896) Definition:K-Connected
 * 897) Definition:Kernel (Abstract Algebra)
 * 898) Definition:Kernel of Homomorphism of Differential Complexes
 * 899) Definition:Kernel of Linear Transformation/Vector Space
 * 900) Definition:Kernel of Magma Homomorphism
 * 901) Definition:Kernel
 * 902) Definition:Kolmogorov Space
 * 903) Definition:Kronecker Product
 * 904) Definition:Kronecker Sum
 * 905) Definition:Krull Dimension
 * 906) Definition:Kuratowski Closure Operator/Definition 1
 * 907) Definition:Kuratowski Closure Operator/Definition 2
 * 908) Definition:Kuratowski Closure Operator
 * 909) Definition:Labeled Graph
 * 910) Definition:Labeled Tree
 * 911) Definition:Lagrange Basis Polynomial
 * 912) Definition:Language (Logic)
 * 913) Definition:Language of Arithmetic
 * 914) Definition:Language of Category Theory
 * 915) Definition:Latin Square Property
 * 916) Definition:Lattice (Group Theory)
 * 917) Definition:Lattice/Definition 1
 * 918) Definition:Lattice/Definition 2
 * 919) Definition:Lattice/Definition 3
 * 920) Definition:Lattice
 * 921) Definition:Laurent Series
 * 922) Definition:Leading Coefficient (Matrix)
 * 923) Definition:Least Absolute Residue
 * 924) Definition:Lebesgue Sigma-Algebra
 * 925) Definition:Left Cancellable
 * 926) Definition:Left Difference Quotient
 * 927) Definition:Left Half-Open Interval
 * 928) Definition:Left Inverse
 * 929) Definition:Left-Hand Derivative
 * 930) Definition:Legendre Polynomial
 * 931) Definition:Legendre Symbol
 * 932) Definition:Legendre's Constant
 * 933) Definition:Length of Integer
 * 934) Definition:Letter (Mathematical Theory)
 * 935) Definition:Liapunov Function
 * 936) Definition:Limit (Category Theory)/Finite Limit
 * 937) Definition:Limit Inferior of Sequence of Sets
 * 938) Definition:Limit of Complex Function
 * 939) Definition:Limit of Function (Metric Space)/Epsilon-Ball Condition
 * 940) Definition:Limit of Function (Metric Space)/Epsilon-Delta Condition
 * 941) Definition:Limit of Function (Metric Space)
 * 942) Definition:Limit of Function
 * 943) Definition:Limit of Sequence of Events
 * 944) Definition:Limit of Sequence
 * 945) Definition:Limit Point/Topology/Point
 * 946) Definition:Limit Point/Topology/Set/Definition 2
 * 947) Definition:Limit Point/Topology/Set/Definition 3
 * 948) Definition:Limit Point/Topology/Set/Definition 4
 * 949) Definition:Limit Point/Topology/Set/Definition 5
 * 950) Definition:Limit Point/Topology/Set
 * 951) Definition:Limit Point/Topology
 * 952) Definition:Limit Point
 * 953) Definition:Limit Superior of Sequence of Sets
 * 954) Definition:Line/Arc
 * 955) Definition:Line/Curve
 * 956) Definition:Line/Endpoint
 * 957) Definition:Line/Equality
 * 958) Definition:Line/Infinite Half-Line
 * 959) Definition:Line/Infinite Straight Line
 * 960) Definition:Line/Infinite
 * 961) Definition:Line/Midpoint
 * 962) Definition:Line/Segment
 * 963) Definition:Line/Straight Line Segment
 * 964) Definition:Line/Straight Line
 * 965) Definition:Linear Combination
 * 966) Definition:Linear Congruence
 * 967) Definition:Linear Continuum
 * 968) Definition:Linear Functional
 * 969) Definition:Linear Group Action
 * 970) Definition:Linear Measure/Breadth
 * 971) Definition:Linear Measure/Depth
 * 972) Definition:Linear Measure/Height
 * 973) Definition:Linear Measure
 * 974) Definition:Linear Operator/Vector Space
 * 975) Definition:Linear Recurrence Relation
 * 976) Definition:Linear Representation
 * 977) Definition:Linear Span
 * 978) Definition:Linear Subspace
 * 979) Definition:Linearly Dependent/Sequence/Real Vector Space
 * 980) Definition:Linearly Dependent/Set/Real Vector Space
 * 981) Definition:Linearly Independent/Sequence/Real Vector Space
 * 982) Definition:Linearly Independent
 * 983) Definition:Link (Bourbaki Theory)
 * 984) Definition:Link (Graph Theory)
 * 985) Definition:Lipschitz Continuity/Lipschitz Constant
 * 986) Definition:Lipschitz Continuity/Real Function
 * 987) Definition:Lipschitz Continuity
 * 988) Definition:Lipschitz Equivalence
 * 989) Definition:Lipschitz Quaternion
 * 990) Definition:Little-Omega
 * 991) Definition:Local Coordinates
 * 992) Definition:Local Ring
 * 993) Definition:Local Sub-Basis
 * 994) Definition:Localization of Ring
 * 995) Definition:Locally Euclidean Space
 * 996) Definition:Locally Finite Graph
 * 997) Definition:Locally Finite
 * 998) Definition:Locally Uniform Convergence
 * 999) Definition:Logarithmic Integral
 * 1000) Definition:Logical Argument/Finitary
 * 1001) Definition:Logical Complement/Complementary Pair
 * 1002) Definition:Logical Complement
 * 1003) Definition:Logical Form
 * 1004) Definition:Logical Formula
 * 1005) Definition:Logical Language
 * 1006) Definition:Logical Matrix
 * 1007) Definition:Logical NAND/Boolean Interpretation
 * 1008) Definition:Logical NAND/Notational Variants
 * 1009) Definition:Logical NAND/Truth Function
 * 1010) Definition:Logical NAND/Truth Table
 * 1011) Definition:Logical NOR/Boolean Interpretation
 * 1012) Definition:Logical NOR/Notational Variants
 * 1013) Definition:Logical NOR/Truth Function
 * 1014) Definition:Logical NOR/Truth Table
 * 1015) Definition:Logical Sign (Mathematical Theory)
 * 1016) Definition:Lower Closure of Element
 * 1017) Definition:Lower Closure
 * 1018) Definition:Lower Level Set
 * 1019) Definition:Lower Limit (Topological Space)
 * 1020) Definition:Lower Semicontinuous
 * 1021) Definition:Lower Set
 * 1022) Definition:Lowest Common Multiple/Integral Domain
 * 1023) Definition:Lowest Common Multiple
 * 1024) Definition:Lune
 * 1025) Definition:Lyndon Word
 * 1026) Definition:Magma of Sets Generated by Collection of Subsets
 * 1027) Definition:Magma of Sets
 * 1028) Definition:Main Connective/Propositional Logic
 * 1029) Definition:Manifold
 * 1030) Definition:Many-to-Many Relation
 * 1031) Definition:Many-to-One Relation/Defined/Element
 * 1032) Definition:Many-to-One Relation/Defined/Set
 * 1033) Definition:Many-to-One Relation/Defined
 * 1034) Definition:Mapping/Defined
 * 1035) Definition:Mathematical Theory
 * 1036) Definition:Matrix Addition
 * 1037) Definition:Matrix Exponential
 * 1038) Definition:Matrix Product
 * 1039) Definition:Matrix/Dimensions
 * 1040) Definition:Matrix/Element
 * 1041) Definition:Matrix/Underlying Structure
 * 1042) Definition:Matrix/Zero Row or Column
 * 1043) Definition:Max Operation/General Definition/Real Numbers
 * 1044) Definition:Max Operation/General Definition
 * 1045) Definition:Max Operation
 * 1046) Definition:Maximal Algebraic Extension
 * 1047) Definition:Maximal Chain
 * 1048) Definition:Maximal Condition
 * 1049) Definition:Maximal Spectrum of Ring
 * 1050) Definition:Maximal/Relation
 * 1051) Definition:Maximal/Set
 * 1052) Definition:Maximal
 * 1053) Definition:Maximum Spanning Tree
 * 1054) Definition:Measure (Geometry)
 * 1055) Definition:Measure of Finite Stieltjes Function
 * 1056) Definition:Median (Geometry)
 * 1057) Definition:Mediant
 * 1058) Definition:Meet (Order Theory)
 * 1059) Definition:Meet Semilattice
 * 1060) Definition:Meromorphic Function
 * 1061) Definition:Mersenne Prime/Current Status
 * 1062) Definition:Metagraph
 * 1063) Definition:Metalanguage/Formal Systems
 * 1064) Definition:Metalanguage/Metasyntax
 * 1065) Definition:Metamodel
 * 1066) Definition:Metatheorem
 * 1067) Definition:Metre
 * 1068) Definition:Metric Scaling Prefixes
 * 1069) Definition:Metric Space Axioms
 * 1070) Definition:Metric Space/Point
 * 1071) Definition:Metric Space/Triangle Inequality
 * 1072) Definition:Metrizable
 * 1073) Definition:Middle Cancellation Property
 * 1074) Definition:Min Operation
 * 1075) Definition:Minimal (Model Theory)
 * 1076) Definition:Minimal Arithmetic
 * 1077) Definition:Minimal Condition
 * 1078) Definition:Minimal Polynomial
 * 1079) Definition:Minimal Topology
 * 1080) Definition:Minimal/Relation
 * 1081) Definition:Minimal/Set
 * 1082) Definition:Minimal
 * 1083) Definition:Minimization/Function
 * 1084) Definition:Minimization/Partial Function
 * 1085) Definition:Minimization/Relation
 * 1086) Definition:Minimization
 * 1087) Definition:Minimum Degree
 * 1088) Definition:Minkowski Functional
 * 1089) Definition:Minkowski Sum
 * 1090) Definition:Mistake/Homophone Horror
 * 1091) Definition:Mistake/Spello
 * 1092) Definition:Mistake/Typo
 * 1093) Definition:Mistake
 * 1094) Definition:MKS
 * 1095) Definition:Modal Logic
 * 1096) Definition:Model (Logic)/Logical Formula
 * 1097) Definition:Model (Logic)/Set of Logical Formulas
 * 1098) Definition:Module Automorphism
 * 1099) Definition:Module Direct Sum
 * 1100) Definition:Modulus (Geometric Function Theory)
 * 1101) Definition:Modulus of Complex-Valued Function
 * 1102) Definition:Modulus
 * 1103) Definition:Monic Polynomial/Polynomial Form
 * 1104) Definition:Monochromatic Graph
 * 1105) Definition:Monoid Axioms
 * 1106) Definition:Monomorphism
 * 1107) Definition:Monomial of Free Commutative Monoid/Degree
 * 1108) Definition:Mononomial of Free Commutative Monoid/Multiplication
 * 1109) Definition:Mononomial of Free Commutative Monoid
 * 1110) Definition:Monotone (Measure Theory)
 * 1111) Definition:Monotone (Order Theory)/Sequence
 * 1112) Definition:Monotone (Order Theory)
 * 1113) Definition:Monotone
 * 1114) Definition:Monotonicity
 * 1115) Definition:Monster Model
 * 1116) Definition:Morphisms-Only Metacategory
 * 1117) Definition:Multi-Value Logic
 * 1118) Definition:Multigrade Operator
 * 1119) Definition:Multigraph/Multiple Edge/Multiplicity
 * 1120) Definition:Multigraph/Multiplicity
 * 1121) Definition:Multigraph/Simple Edge
 * 1122) Definition:Multiindex/Modulus
 * 1123) Definition:Multiindex
 * 1124) Definition:Multilinear Mapping
 * 1125) Definition:Multiple Pointed Topology
 * 1126) Definition:Multiplication of Polynomials/Polynomial Forms
 * 1127) Definition:Multiplication/Rational Numbers
 * 1128) Definition:Multiplicative Group of Positive Rational Numbers
 * 1129) Definition:Multiplicative Group of Positive Real Numbers
 * 1130) Definition:Multiplicative Group of Rational Numbers
 * 1131) Definition:Multiplicative Group of Real Numbers
 * 1132) Definition:Multiplicative Monoid of Integers Modulo m
 * 1133) Definition:Multiplicatively Closed Subset of Ring
 * 1134) Definition:Multiplicity (Complex Analysis)
 * 1135) Definition:Multiset
 * 1136) Definition:Mutatis Mutandis
 * 1137) Definition:Nagata Criterion
 * 1138) Definition:Name
 * 1139) Definition:Natural Deduction/Templates
 * 1140) Definition:Quotient Epimorphism
 * 1141) Definition:Natural Logarithm/Complex
 * 1142) Definition:Nearest Integer Function
 * 1143) Definition:Negative Binomial Distribution/First Form
 * 1144) Definition:Negative Categorical Statement
 * 1145) Definition:Negative/Integer
 * 1146) Definition:Negative/Number
 * 1147) Definition:Negative/Rational Number
 * 1148) Definition:Negatively Transitive Relation
 * 1149) Definition:Neighborhood (Complex Analysis)
 * 1150) Definition:Neighborhood (Real Analysis)
 * 1151) Definition:Neighborhood (Analysis)
 * 1152) Definition:Neighborhood (Graph Theory)
 * 1153) Definition:Closed Neighborhood
 * 1154) Definition:Neighborhood (Topology)
 * 1155) Definition:Neighborhood Basis
 * 1156) Definition:Neighborhood Sub-Basis
 * 1157) Definition:Neighborhood
 * 1158) Definition:Neo-Pythagoreanism
 * 1159) Definition:Nest
 * 1160) Definition:Net (Preordered Set)
 * 1161) Definition:Net (Set Theory)
 * 1162) Definition:Network/Weight Function
 * 1163) Definition:Network/Weight
 * 1164) Definition:Newton (Unit)
 * 1165) Definition:Nilpotent Element
 * 1166) Definition:Nilradical
 * 1167) Definition:Niven Number
 * 1168) Definition:Noetherian Module
 * 1169) Definition:Noetherian Ring
 * 1170) Definition:Non-Archimedean/Absolute Value/Archimedean
 * 1171) Definition:Non-Archimedean/Absolute Value
 * 1172) Definition:Non-Archimedean/Metric/Archimedean
 * 1173) Definition:Non-Archimedean/Metric
 * 1174) Definition:Non-Archimedean/Norm/Archimedean
 * 1175) Definition:Non-Archimedean/Norm
 * 1176) Definition:Non-Archimedean
 * 1177) Definition:Nondeterministic Turing Machine
 * 1178) Definition:Nonvanishing
 * 1179) Definition:Norm (Division Ring)
 * 1180) Definition:Norm (Vector Space)
 * 1181) Definition:Normal Extension
 * 1182) Definition:Normal Series/Length
 * 1183) Definition:Normal Subgroup/Definition 2
 * 1184) Definition:Normal Subgroup/Definition 4
 * 1185) Definition:Normal Subgroup/Definition 7
 * 1186) Definition:Normal Subset/Definition 1
 * 1187) Definition:Normal Subset/Definition 2
 * 1188) Definition:Normal Subset/Definition 3
 * 1189) Definition:Normal Subset/Definition 4
 * 1190) Definition:Normal Subset/Definition 5
 * 1191) Definition:Normal Subset
 * 1192) Definition:Normalized Weight Function
 * 1193) Definition:Nowhere Dense
 * 1194) Definition:NP-Complete
 * 1195) Definition:NP Complexity Class
 * 1196) Definition:Null Graph
 * 1197) Definition:Null Module
 * 1198) Definition:Null Polynomial/Polynomial Form
 * 1199) Definition:Null Polynomial/Ring
 * 1200) Definition:Null Polynomial/Sequence
 * 1201) Definition:Null Polynomial
 * 1202) Definition:Null Sequence (Analysis)
 * 1203) Definition:Null Sequence (Homological Algebra)
 * 1204) Definition:Nullity/Matrix
 * 1205) Definition:Numerator and Denominator
 * 1206) Definition:O Notation/Big-O Notation
 * 1207) Definition:O Notation
 * 1208) Definition:Object (Category Theory)
 * 1209) Definition:Occurrence
 * 1210) Definition:Octonion
 * 1211) Definition:Odd Prime
 * 1212) Definition:One (Ordinal)
 * 1213) Definition:One-Sided Derivative
 * 1214) Definition:One-to-Many Relation
 * 1215) Definition:One-to-One Relation
 * 1216) Definition:One-to-One
 * 1217) Definition:Ones Matrix
 * 1218) Definition:Open Point
 * 1219) Definition:Open Refinement
 * 1220) Definition:Open Set/Complex Analysis
 * 1221) Definition:Open Set/Pseudometric Space
 * 1222) Definition:Open Set/Real Analysis
 * 1223) Definition:Operation Induced by Injection
 * 1224) Definition:Operator Domain
 * 1225) Definition:Opposite Magma
 * 1226) Definition:Opposite
 * 1227) Definition:Orbit (Group Theory)/Length
 * 1228) Definition:Order Category/Definition 2
 * 1229) Definition:Order Category
 * 1230) Definition:Order Completion
 * 1231) Definition:Order Embedding
 * 1232) Definition:Order Indiscernible
 * 1233) Definition:Order Isomorphism/Definition 1
 * 1234) Definition:Order of Entire Function
 * 1235) Definition:Order of Pole/Simple Pole
 * 1236) Definition:Order of Pole
 * 1237) Definition:Order of Zero/Simple Zero
 * 1238) Definition:Order of Zero
 * 1239) Definition:Order Topology/Definition 1
 * 1240) Definition:Order Topology/Definition 2
 * 1241) Definition:Order Topology
 * 1242) Definition:Ordered Commutative Semigroup
 * 1243) Definition:Ordered Group Automorphism
 * 1244) Definition:Ordered Group Isomorphism
 * 1245) Definition:Ordered Group Monomorphism
 * 1246) Definition:Ordered Monoid
 * 1247) Definition:Ordered Square
 * 1248) Definition:Ordered Statistic
 * 1249) Definition:Ordered Structure Automorphism
 * 1250) Definition:Ordered Structure Monomorphism
 * 1251) Definition:Ordered Structure
 * 1252) Definition:Ordered Subgroup
 * 1253) Definition:Ordered Tree
 * 1254) Definition:Ordered Tuple as Ordered Set/Ordered Quadruple
 * 1255) Definition:Ordered Tuple as Ordered Set
 * 1256) Definition:Ordering Induced by Injection
 * 1257) Definition:Ordering on Extended Real Numbers
 * 1258) Definition:Ordering on Multiindices
 * 1259) Definition:Ordering/Definition 2
 * 1260) Definition:Ordering/Notation
 * 1261) Definition:Ordering
 * 1262) Definition:Ordinal Sum
 * 1263) Definition:Ordinal
 * 1264) Definition:Orthogonal (Linear Algebra)/Euclidean Space
 * 1265) Definition:Orthogonal
 * 1266) Definition:Oscillation
 * 1267) Definition:Out-Degree
 * 1268) Definition:Outer Limit
 * 1269) Definition:Outer Product
 * 1270) Definition:P-adic Norm/P-adic Metric
 * 1271) Definition:P-adic Norm
 * 1272) Definition:P-adic Numbers
 * 1273) Definition:P-adic Valuation
 * 1274) Definition:P-Integrable Function
 * 1275) Definition:P-Norm
 * 1276) Definition:P-Subgroup
 * 1277) Definition:Painlevé-Kuratowski Convergence
 * 1278) Definition:Pairwise Coprime/Euclidean Domain
 * 1279) Definition:Pairwise Coprime/GCD Domain
 * 1280) Definition:Pairwise Coprime/Integers
 * 1281) Definition:Pairwise Coprime
 * 1282) Definition:Parallel/Lines
 * 1283) Definition:Parallel/Planes
 * 1284) Definition:Parametric Operator
 * 1285) Definition:Paranormal Subgroup
 * 1286) Definition:Parity of Integer
 * 1287) Definition:Partial Derivative/Function on Real Vector Space
 * 1288) Definition:Partial Differential Operator
 * 1289) Definition:Partial Function Equality
 * 1290) Definition:Partial Function
 * 1291) Definition:Partial Preordering
 * 1292) Definition:Particular Categorical Statement
 * 1293) Definition:Particular Point Topology/Infinite
 * 1294) Definition:Partition (Set Theory)/Component
 * 1295) Definition:Partition (Set Theory)/Finite Expansion
 * 1296) Definition:Partition (Set Theory)
 * 1297) Definition:Partition of Unity (Topology)/Subordinate
 * 1298) Definition:Partition of Unity (Topology)
 * 1299) Definition:Partition of Unity
 * 1300) Definition:Path (Category Theory)
 * 1301) Definition:Path (Graph Theory)/Open
 * 1302) Definition:Path Graph
 * 1303) Definition:Path-Connected/Topology/Points
 * 1304) Definition:Path-Connected/Topology/Set
 * 1305) Definition:Path-Connected/Topology
 * 1306) Definition:Path-Connected
 * 1307) Definition:Peano Structure
 * 1308) Definition:Perfect
 * 1309) Definition:Periodic Continued Fraction
 * 1310) Definition:Periodic Process
 * 1311) Definition:Permutation Symbol
 * 1312) Definition:Perturbed Proportion
 * 1313) Definition:Petersen Graph
 * 1314) Definition:Philosophical Position
 * 1315) Definition:Physical Law
 * 1316) Definition:Physical Quantity
 * 1317) Definition:Physical Universe
 * 1318) Definition:Plane Number
 * 1319) Definition:Platonic Graph/Cube
 * 1320) Definition:Platonic Graph/Dodecahedron
 * 1321) Definition:Platonic Graph/Icosahedron
 * 1322) Definition:Platonic Graph/Octahedron
 * 1323) Definition:Platonic Graph/Tetrahedron
 * 1324) Definition:Platonic Graph
 * 1325) Definition:Point-to-Set Distance
 * 1326) Definition:Pointwise Addition of Complex-Valued Functions
 * 1327) Definition:Pointwise Addition of Integer-Valued Functions
 * 1328) Definition:Pointwise Addition of Mappings
 * 1329) Definition:Pointwise Addition of Rational-Valued Functions
 * 1330) Definition:Pointwise Addition
 * 1331) Definition:Pointwise Inequality of Extended Real-Valued Functions
 * 1332) Definition:Pointwise Inequality of Real-Valued Functions
 * 1333) Definition:Pointwise Inequality
 * 1334) Definition:Pointwise Limit
 * 1335) Definition:Pointwise Maximum of Mappings/Extended Real-Valued Functions
 * 1336) Definition:Pointwise Maximum of Mappings/Real-Valued Functions
 * 1337) Definition:Pointwise Maximum of Mappings
 * 1338) Definition:Pointwise Minimum of Mappings/Extended Real-Valued Functions
 * 1339) Definition:Pointwise Minimum of Mappings/Real-Valued Functions
 * 1340) Definition:Pointwise Minimum of Mappings
 * 1341) Definition:Pointwise Multiplication of Complex-Valued Functions
 * 1342) Definition:Pointwise Multiplication of Integer-Valued Functions
 * 1343) Definition:Pointwise Multiplication of Rational-Valued Functions
 * 1344) Definition:Pointwise Multiplication
 * 1345) Definition:Pointwise Operation on Complex-Valued Functions
 * 1346) Definition:Pointwise Operation on Integer-Valued Functions
 * 1347) Definition:Pointwise Operation on Number-Valued Functions
 * 1348) Definition:Pointwise Operation on Rational-Valued Functions
 * 1349) Definition:Pointwise Scalar Multiplication of Complex-Valued Function
 * 1350) Definition:Pointwise Scalar Multiplication of Extended Real-Valued Functions
 * 1351) Definition:Pointwise Scalar Multiplication of Integer-Valued Function
 * 1352) Definition:Pointwise Scalar Multiplication of Mappings/Real-Valued Functions
 * 1353) Definition:Pointwise Scalar Multiplication of Mappings
 * 1354) Definition:Pointwise Scalar Multiplication of Number-Valued Function
 * 1355) Definition:Pointwise Scalar Multiplication of Rational-Valued Function
 * 1356) Definition:Pointwise Scalar Multiplication of Real-Valued Function
 * 1357) Definition:Pointwise Supremum of Extended Real-Valued Functions
 * 1358) Definition:Pointwise Supremum of Real-Valued Functions
 * 1359) Definition:Pointwise Supremum
 * 1360) Definition:Polar Coordinates/Polar Axis
 * 1361) Definition:Polar Coordinates/Polar Plane
 * 1362) Definition:Polar Coordinates/Pole
 * 1363) Definition:Pole
 * 1364) Definition:Polygon/Adjacent
 * 1365) Definition:Polygon/Base
 * 1366) Definition:Polygon/Equiangular
 * 1367) Definition:Polygon/Equilateral
 * 1368) Definition:Polygon/External Angle
 * 1369) Definition:Polygon/Height
 * 1370) Definition:Polygon/Internal Angle
 * 1371) Definition:Polygon/Multi-lateral
 * 1372) Definition:Polygon/Opposite
 * 1373) Definition:Polygon/Regular
 * 1374) Definition:Polygon/Side
 * 1375) Definition:Polygon/Vertex
 * 1376) Definition:Polygonal Number
 * 1377) Definition:Polynomial over Ring as Sequence
 * 1378) Definition:Polynomial/Complex Numbers
 * 1379) Definition:Polynomial Function/Complex
 * 1380) Definition:Coefficient of Polynomial/Polynomial Form
 * 1381) Definition:Coefficient of Polynomial
 * 1382) Definition:Polynomial Congruence/Number of Solutions
 * 1383) Definition:Polynomial Congruence/Solution
 * 1384) Definition:Polynomial Congruence
 * 1385) Definition:Polynormal Subgroup
 * 1386) Definition:Porism
 * 1387) Definition:Positive/Number
 * 1388) Definition:Positive/Rational Number
 * 1389) Definition:Power (Algebra)/Complex Number
 * 1390) Definition:Power (Algebra)/Even Power
 * 1391) Definition:Power (Algebra)/Multiindices
 * 1392) Definition:Power (Algebra)/Odd Power
 * 1393) Definition:Power of Element/Monoid/Invertible Element
 * 1394) Definition:Power of Element
 * 1395) Definition:Power Series/Complex Domain
 * 1396) Definition:Pre-Image Sigma-Algebra
 * 1397) Definition:Pre-Socratic
 * 1398) Definition:Precise Refinement of Cover
 * 1399) Definition:Preimage Set
 * 1400) Definition:Preimage/Relation/Element
 * 1401) Definition:Preimage/Relation
 * 1402) Definition:Preimage
 * 1403) Definition:Preorder Category/Definition 2
 * 1404) Definition:Preorder Category
 * 1405) Definition:Preordering/Definition 2
 * 1406) Definition:Preordering/Notation
 * 1407) Definition:Preordering/Preordered Set
 * 1408) Definition:Preordering
 * 1409) Definition:Primal
 * 1410) Definition:Prime Element
 * 1411) Definition:Prime Enumeration Function
 * 1412) Definition:Prime Exponent Function
 * 1413) Definition:Prime Factor
 * 1414) Definition:Prime Group
 * 1415) Definition:Prime Ideal (Order Theory)
 * 1416) Definition:Prime Number/Definition 3
 * 1417) Definition:Prime Number/Negative Prime
 * 1418) Definition:Prime Power
 * 1419) Definition:Prime Triplet
 * 1420) Definition:Primitive Element of Field Extension
 * 1421) Definition:Primitive Recursion/One Variable
 * 1422) Definition:Primitive Recursion/Partial Function
 * 1423) Definition:Primitive Recursion/Several Variables
 * 1424) Definition:Primitive Recursion
 * 1425) Definition:Primitive Recursive/Function
 * 1426) Definition:Primitive Recursive/Relation
 * 1427) Definition:Primitive Recursive/Set
 * 1428) Definition:Primitive Recursive
 * 1429) Definition:Primorial
 * 1430) Definition:Probability Function
 * 1431) Definition:Probability Mass Function/General Definition
 * 1432) Definition:Probability Space/Continuous
 * 1433) Definition:Probability Space/Discrete
 * 1434) Definition:Product (Category Theory)/General Definition/Finite Product
 * 1435) Definition:Product (Category Theory)/General Definition
 * 1436) Definition:Product (Category Theory)
 * 1437) Definition:Product Inverse
 * 1438) Definition:Product Notation (Algebra)/Multiplicand
 * 1439) Definition:Product of Affine Spaces
 * 1440) Definition:Product of Ideals of Ring
 * 1441) Definition:Product Space
 * 1442) Definition:Product Topology
 * 1443) Definition:Projective Module
 * 1444) Definition:Projective Space/Over a Field
 * 1445) Definition:Projective Space/Real Projective Space
 * 1446) Definition:Projective Space
 * 1447) Definition:Pronormal Subgroup
 * 1448) Definition:Proof System/Formal Proof
 * 1449) Definition:Proof System
 * 1450) Definition:Proper Coloring
 * 1451) Definition:Proper Element of Ring
 * 1452) Definition:Proper G-Submodule
 * 1453) Definition:Properties of Algebraic Structures of One Operation
 * 1454) Definition:Properties of Algebraic Structures of Two Operations
 * 1455) Definition:Propositional Expansion/Existential Quantifier
 * 1456) Definition:Propositional Expansion/Universal Quantifier
 * 1457) Definition:Propositional Expansion
 * 1458) Definition:Propositional Function/Examples
 * 1459) Definition:Propositional Tableau/Finite Root
 * 1460) Definition:Propositional Tableau/Infinite Root
 * 1461) Definition:Provable Consequence
 * 1462) Definition:Prüfer Domain
 * 1463) Definition:Prüfer Sequence
 * 1464) Definition:Pseudometric/Pseudometric Space
 * 1465) Definition:Pseudometrizable Topology
 * 1466) Definition:Pseudometrizable
 * 1467) Definition:Pure Set Theory
 * 1468) Definition:Pure Transcendental Extension
 * 1469) Definition:Pyramidal Number
 * 1470) Definition:Pythagorean Equation
 * 1471) Definition:Q.E.D.
 * 1472) Definition:Quadratic Algebra
 * 1473) Definition:Quadratic Irrational
 * 1474) Definition:Quadratic Real Algebra
 * 1475) Definition:Quadrilateral/Dart
 * 1476) Definition:Quadrilateral/Kite
 * 1477) Definition:Quadrilateral/Oblong
 * 1478) Definition:Quadrilateral/Parallelogram/Altitude
 * 1479) Definition:Quadrilateral/Parallelogram/Base
 * 1480) Definition:Quadrilateral/Parallelogram
 * 1481) Definition:Quadrilateral/Rectangle/Containment
 * 1482) Definition:Quadrilateral/Rectangle
 * 1483) Definition:Quadrilateral/Rhomboid
 * 1484) Definition:Quadrilateral/Rhombus
 * 1485) Definition:Quadrilateral/Square
 * 1486) Definition:Quadrilateral/Trapezium
 * 1487) Definition:Quadrilateral/Trapezoid/Height
 * 1488) Definition:Quadrilateral/Trapezoid
 * 1489) Definition:Quantified Statement
 * 1490) Definition:Quasigroup/Left Quasigroup
 * 1491) Definition:Quasigroup/Right Quasigroup
 * 1492) Definition:Quasimetric/Quasimetric Space
 * 1493) Definition:Quaternion/Addition
 * 1494) Definition:Quaternion/Algebra over Field
 * 1495) Definition:Quaternion/Construction from Complex Pairs
 * 1496) Definition:Quaternion/Multiplication
 * 1497) Definition:Radical Extension
 * 1498) Definition:Radical Ideal of Ring
 * 1499) Definition:Radical of Integer
 * 1500) Definition:Radical of Ideal of Ring
 * 1501) Definition:Radicand
 * 1502) Definition:Radius of Convergence/Complex Domain
 * 1503) Definition:Ramanujan Sum
 * 1504) Definition:Ramsey Number
 * 1505) Definition:Rank (Linear Algebra)
 * 1506) Definition:Rate
 * 1507) Definition:Ratio Ex Aequali
 * 1508) Definition:Rational Sequence
 * 1509) Definition:Rational-Valued Function
 * 1510) Definition:Ray (Order Theory)
 * 1511) Definition:Ray (Topology)
 * 1512) Definition:Reachability Relation
 * 1513) Definition:Reachable
 * 1514) Definition:Real Algebra
 * 1515) Definition:Real Element in Star-Algebra
 * 1516) Definition:Real Function/Dependent Variable
 * 1517) Definition:Real Function/Independent Variable
 * 1518) Definition:Real Interval/Empty
 * 1519) Definition:Real Interval/Length
 * 1520) Definition:Real Interval/Midpoint
 * 1521) Definition:Real Interval/Notation/Conventional
 * 1522) Definition:Real Interval/Notation/Reverse-Bracket
 * 1523) Definition:Real Interval/Notation/Unbounded Intervals
 * 1524) Definition:Real Interval/Notation
 * 1525) Definition:Real Matrix
 * 1526) Definition:Real-Valued Function
 * 1527) Definition:Reciprocal Proportion
 * 1528) Definition:Rectifiable Curve
 * 1529) Definition:Rectification
 * 1530) Definition:Recursive Sequence
 * 1531) Definition:Recursive/Function
 * 1532) Definition:Recursive/Relation
 * 1533) Definition:Recursive/Set
 * 1534) Definition:Recursive
 * 1535) Definition:Reduced Ring
 * 1536) Definition:Reducible G-Module
 * 1537) Definition:Reducible Linear Representation
 * 1538) Definition:Refinement
 * 1539) Definition:Reflexive Closure/Intersection of Reflexive Supersets
 * 1540) Definition:Reflexive Closure/Smallest Reflexive Superset
 * 1541) Definition:Reflexive Closure
 * 1542) Definition:Reflexive Reduction
 * 1543) Definition:Reflexive Transitive Closure/Reflexive Closure of Transitive Closure
 * 1544) Definition:Reflexive Transitive Closure/Transitive Closure of Reflexive Closure
 * 1545) Definition:Reflexive Transitive Closure
 * 1546) Definition:Reflexivity
 * 1547) Definition:Region/Metric Space
 * 1548) Definition:Regular Expression
 * 1549) Definition:Regular Value
 * 1550) Definition:Reidemeister Move
 * 1551) Definition:Relation Conversely Compatible with Operation
 * 1552) Definition:Relation Strongly Compatible with Operation
 * 1553) Definition:Relational Closure
 * 1554) Definition:Relational Loop
 * 1555) Definition:Relatively Closed
 * 1556) Definition:Residue (Complex Analysis)
 * 1557) Definition:Residue
 * 1558) Definition:Rest Mass
 * 1559) Definition:Restricted Existential Quantifier
 * 1560) Definition:Restricted Universal Quantifier
 * 1561) Definition:Restriction of Ordering
 * 1562) Definition:Riemann Surface
 * 1563) Definition:Rig
 * 1564) Definition:Right Angle/Perpendicular/Foot
 * 1565) Definition:Right Angle/Perpendicular
 * 1566) Definition:Right Cancellable Operation
 * 1567) Definition:Right Cancellable
 * 1568) Definition:Right Circular Cone/Acute-Angled
 * 1569) Definition:Right Circular Cone/Axis
 * 1570) Definition:Right Circular Cone/Base
 * 1571) Definition:Right Circular Cone/Directrix
 * 1572) Definition:Right Circular Cone/Generatrix
 * 1573) Definition:Right Circular Cone/Obtuse-Angled
 * 1574) Definition:Right Circular Cone/Opening Angle
 * 1575) Definition:Right Circular Cone/Right-Angled
 * 1576) Definition:Right Circular Cone/Similar Cones
 * 1577) Definition:Right Circular Cone
 * 1578) Definition:Right Difference Quotient
 * 1579) Definition:Right Half-Open Interval
 * 1580) Definition:Right Inverse
 * 1581) Definition:Right-Hand Derivative
 * 1582) Definition:Right-Total Relation
 * 1583) Definition:Ring (Abstract Algebra)/Binding Priority
 * 1584) Definition:Ring Extension
 * 1585) Definition:Ring of Integers of a Number Field
 * 1586) Definition:Ring of Polynomial Forms
 * 1587) Definition:Ring of Polynomial Functions
 * 1588) Definition:Ring of Sets/Definition 1
 * 1589) Definition:Ring of Sets
 * 1590) Definition:Root of Polynomial
 * 1591) Definition:Root of Propositional Tableau/Finite Root
 * 1592) Definition:Root of Propositional Tableau/Infinite Root
 * 1593) Definition:Root of Propositional Tableau
 * 1594) Definition:Root of Unity Modulo m
 * 1595) Definition:Root of Unity/Primitive
 * 1596) Definition:Rooted Subtree
 * 1597) Definition:Rooted Tree/Child Node/Grandchild Node
 * 1598) Definition:Rooted Tree/Descendant
 * 1599) Definition:Rooted Tree/Proper Descendant
 * 1600) Definition:Rooted Tree/Sibling
 * 1601) Definition:Satisfiable/Formula
 * 1602) Definition:Satisfiable/Set of Formulas
 * 1603) Definition:Satisfiable
 * 1604) Definition:Saturated Model
 * 1605) Definition:Scalar Field
 * 1606) Definition:Schreier Domain
 * 1607) Definition:Schwarz Function
 * 1608) Definition:Scope
 * 1609) Definition:Secant/Complex Function
 * 1610) Definition:Secant/Real Function
 * 1611) Definition:Secant/Definition from Circle/First Quadrant
 * 1612) Definition:Secant/Definition from Circle/Fourth Quadrant
 * 1613) Definition:Secant/Definition from Circle/Second Quadrant
 * 1614) Definition:Secant/Definition from Circle/Third Quadrant
 * 1615) Definition:Secant/Definition from Circle
 * 1616) Definition:Second Chebyshev Function
 * 1617) Definition:Second Order Ordinary Differential Equation
 * 1618) Definition:Second Order Partial Differential Equation
 * 1619) Definition:Section (Geometry)
 * 1620) Definition:Sector/Angle
 * 1621) Definition:Segment of Circle/Angle in Segment
 * 1622) Definition:Segment of Circle/Angle of Segment
 * 1623) Definition:Segment of Circle/Base
 * 1624) Definition:Segment of Circle/Similar
 * 1625) Definition:Segment of Circle
 * 1626) Definition:Seifert Matrix
 * 1627) Definition:Self Distributive
 * 1628) Definition:Self-Inverse
 * 1629) Definition:Self-Map
 * 1630) Definition:Self-Normalizing Subgroup
 * 1631) Definition:Semi-Hamiltonian Graph
 * 1632) Definition:Semigroup Axioms
 * 1633) Definition:Semihereditary Ring
 * 1634) Definition:Semilattice (Abstract Algebra)
 * 1635) Definition:Semilattice
 * 1636) Definition:Seminorm
 * 1637) Definition:Semiring (Abstract Algebra)
 * 1638) Definition:Semiring
 * 1639) Definition:Separated by Closed Neighborhoods
 * 1640) Definition:Separated by Function
 * 1641) Definition:Separated by Neighborhoods
 * 1642) Definition:Separated Points
 * 1643) Definition:Separated
 * 1644) Definition:Separation of Ratio
 * 1645) Definition:Sequence Coding
 * 1646) Definition:Sequence/Empty Sequence
 * 1647) Definition:Sequential Continuity
 * 1648) Definition:Series/General/Sequence of Partial Products
 * 1649) Definition:Series/General
 * 1650) Definition:Series/Tail
 * 1651) Definition:Set Intersection/Countable Intersection
 * 1652) Definition:Set of Truth Values
 * 1653) Definition:Set Union/Countable Union
 * 1654) Definition:Set Variable
 * 1655) Definition:Set/Implicit Set Definition/Multipart Infinite Set
 * 1656) Definition:Sheffer Operator
 * 1657) Definition:Short Exact Sequence of Modules
 * 1658) Definition:Sierpiński Number
 * 1659) Definition:Sigma-Algebra/Definition 4
 * 1660) Definition:Sigma-Algebra
 * 1661) Definition:Sigma-Ring/Definition 1
 * 1662) Definition:Sigma-Ring
 * 1663) Definition:Sign (Mathematical Theory)
 * 1664) Definition:Sign of Permutation
 * 1665) Definition:Signature (Logic)
 * 1666) Definition:Signed Area
 * 1667) Definition:Signum Function/Natural Numbers
 * 1668) Definition:Signum Function/Signum Complement
 * 1669) Definition:Similar Figures
 * 1670) Definition:Similar Inclination
 * 1671) Definition:Similar Triangles
 * 1672) Definition:Simple Extension
 * 1673) Definition:Simply Connected
 * 1674) Definition:Simultaneous Congruences
 * 1675) Definition:Simultaneous Equations/Solution Set
 * 1676) Definition:Simultaneous Equations
 * 1677) Definition:Sine/Definition from Circle/First Quadrant
 * 1678) Definition:Sine/Definition from Circle/Fourth Quadrant
 * 1679) Definition:Sine/Definition from Circle/Second Quadrant
 * 1680) Definition:Sine/Definition from Circle/Third Quadrant
 * 1681) Definition:Sine/Definition from Circle
 * 1682) Definition:Singleton Relation
 * 1683) Definition:Skolem Sequence
 * 1684) Definition:Slope/Curve
 * 1685) Definition:Slope/Straight Line
 * 1686) Definition:Smallest
 * 1687) Definition:Smooth Differentiable Structure
 * 1688) Definition:Smooth Homotopy
 * 1689) Definition:Smooth Real Function
 * 1690) Definition:Solid Figure
 * 1691) Definition:Solid Number
 * 1692) Definition:Sophie Germain Prime
 * 1693) Definition:Sound Proof System
 * 1694) Definition:Spacetime
 * 1695) Definition:Spanning Subgraph
 * 1696) Definition:Spanning Tree/Cutting-Down Method
 * 1697) Definition:Specific Sign (Mathematical Theory)
 * 1698) Definition:Spectrum of Ring
 * 1699) Definition:Sphere/Geometry/Axis
 * 1700) Definition:Sphere/Geometry/Center
 * 1701) Definition:Sphere/Geometry/Diameter
 * 1702) Definition:Sphere/Geometry/Radius
 * 1703) Definition:Sphere/Geometry
 * 1704) Definition:Sphere/Topology/Center
 * 1705) Definition:Sphere/Topology/Radius
 * 1706) Definition:Sphere/Topology
 * 1707) Definition:Splitting Field
 * 1708) Definition:Square-Free Integer
 * 1709) Definition:Stability (Differential Equations)
 * 1710) Definition:Stability (Model Theory)
 * 1711) Definition:Stable under Intersection
 * 1712) Definition:Standard Affine Space
 * 1713) Definition:Standard Affine Structure on Vector Space
 * 1714) Definition:Standard Number Field
 * 1715) Definition:Star Shaped Set
 * 1716) Definition:Statement Form/Substatement
 * 1717) Definition:Steiner Inellipse
 * 1718) Definition:Steiner Triple System
 * 1719) Definition:Stirling Numbers
 * 1720) Definition:Stirling's Triangle of the First Kind (Signed)
 * 1721) Definition:Stirling's Triangles
 * 1722) Definition:Straight Angle
 * 1723) Definition:Stratified Random Sample/Strata
 * 1724) Definition:Stratified Random Sample
 * 1725) Definition:Strict Down-Set/Element
 * 1726) Definition:Strict Ordering/Antireflexive and Transitive
 * 1727) Definition:Strict Partial Ordering
 * 1728) Definition:Strict Upper Closure
 * 1729) Definition:Strict Weak Ordering
 * 1730) Definition:Strict Well-Ordering
 * 1731) Definition:Strictly Decreasing/Sequence
 * 1732) Definition:Strictly Decreasing
 * 1733) Definition:Strictly Increasing/Sequence
 * 1734) Definition:Strictly Increasing
 * 1735) Definition:Strictly Monotone/Real Function
 * 1736) Definition:Strictly Monotone/Sequence/Real Sequence
 * 1737) Definition:Strictly Monotone/Sequence
 * 1738) Definition:Strictly Monotone
 * 1739) Definition:Strictly Negative/Integer
 * 1740) Definition:Strictly Negative/Number
 * 1741) Definition:Strictly Negative/Rational Number
 * 1742) Definition:Strictly Negative
 * 1743) Definition:Strictly Ordered Set
 * 1744) Definition:Strictly Positive/Number
 * 1745) Definition:Strictly Positive/Rational Number
 * 1746) Definition:Strictly Precede/Definition 1
 * 1747) Definition:Strictly Precede
 * 1748) Definition:Strictly Succeed
 * 1749) Definition:Strictly Totally Ordered Set
 * 1750) Definition:Strictly Well-Ordered Set
 * 1751) Definition:Strongly Additive Function
 * 1752) Definition:Structure
 * 1753) Definition:Sturm-Liouville Equation
 * 1754) Definition:Sub-Basis for Topology
 * 1755) Definition:Sub-Basis
 * 1756) Definition:Sub-Sigma-Algebra
 * 1757) Definition:Subadditive Function (Conventional)
 * 1758) Definition:Subadditive Function (Measure Theory)
 * 1759) Definition:Subadditive Function
 * 1760) Definition:Subalgebra
 * 1761) Definition:Subcategory
 * 1762) Definition:Subclass
 * 1763) Definition:Subcontinuum
 * 1764) Definition:Subcover/Countable
 * 1765) Definition:Subcover/Finite
 * 1766) Definition:Subdivision (Real Analysis)/Normal Subdivision
 * 1767) Definition:Subgraph/Embedding
 * 1768) Definition:Sublattice
 * 1769) Definition:Submanifold
 * 1770) Definition:Submersion
 * 1771) Definition:Submonoid
 * 1772) Definition:Subnormal Subgroup
 * 1773) Definition:Subobject Class/Morphism Class
 * 1774) Definition:Subsemiring
 * 1775) Definition:Substatement
 * 1776) Definition:Substitution (Mathematical Logic)
 * 1777) Definition:Substring
 * 1778) Definition:Subtraction/Natural Numbers
 * 1779) Definition:Subtree (Graph Theory)
 * 1780) Definition:Subtree
 * 1781) Definition:Succeed
 * 1782) Definition:Successor
 * 1783) Definition:Sufficiently Large
 * 1784) Definition:Sum Over Divisors
 * 1785) Definition:Summand
 * 1786) Definition:Summation/Summand
 * 1787) Definition:Supplementary
 * 1788) Definition:Support of Continuous Mapping
 * 1789) Definition:Support of Distribution
 * 1790) Definition:Support of Continuous Real-Valued Function
 * 1791) Definition:Support of Real-Valued Function
 * 1792) Definition:Support
 * 1793) Definition:Supremum Norm
 * 1794) Definition:Supremum of Mapping
 * 1795) Definition:Supremum of Set/Finite Supremum
 * 1796) Definition:Surface/The Plane
 * 1797) Definition:Surjection/Notation
 * 1798) Definition:Surjective on Morphisms
 * 1799) Definition:Surjective on Objects
 * 1800) Definition:Surjective Restriction
 * 1801) Definition:Symmetric Closure
 * 1802) Definition:Symmetric Difference/Definition 4
 * 1803) Definition:Symmetric Polynomial
 * 1804) Definition:Symmetric Set
 * 1805) Definition:Symmetry (Relation)
 * 1806) Definition:System of Sets
 * 1807) Definition:T3 Space
 * 1808) Definition:T4 Space
 * 1809) Definition:T5 Space
 * 1810) Definition:Tableau Proof/Natural Deduction/Length
 * 1811) Definition:Tableau Proof
 * 1812) Definition:Tangent Bundle
 * 1813) Definition:Tangent Map
 * 1814) Definition:Tangent Space
 * 1815) Definition:Tangent Function/Complex
 * 1816) Definition:Tangent Function/Definition from Circle/First Quadrant
 * 1817) Definition:Tangent Function/Definition from Circle/Fourth Quadrant
 * 1818) Definition:Tangent Function/Definition from Circle/Second Quadrant
 * 1819) Definition:Tangent Function/Definition from Circle/Third Quadrant
 * 1820) Definition:Tangent Function/Definition from Circle
 * 1821) Definition:Tangent/Geometry/Tangent Circles
 * 1822) Definition:Tangent/Geometry/Tangent Line
 * 1823) Definition:Tangent/Geometry
 * 1824) Definition:Tarski's Geometry
 * 1825) Definition:Tau Function
 * 1826) Definition:Tautology/Formal Semantics
 * 1827) Definition:Taxicab Metric
 * 1828) Definition:Temperature
 * 1829) Definition:Term (Algebra)
 * 1830) Definition:Term (Natural Language)
 * 1831) Definition:Ternary Notation
 * 1832) Definition:Theory (Logic)
 * 1833) Definition:Time Period
 * 1834) Definition:Time-Constructible Function
 * 1835) Definition:Top (Lattice Theory)/Definition 1
 * 1836) Definition:Top (Lattice Theory)/Definition 2
 * 1837) Definition:Top (Lattice Theory)
 * 1838) Definition:Top
 * 1839) Definition:Topological Division Ring
 * 1840) Definition:Topological Equivalence
 * 1841) Definition:Topological Field
 * 1842) Definition:Topological Group/Definition 1
 * 1843) Definition:Topological Group/Definition 2
 * 1844) Definition:Topological Group
 * 1845) Definition:Topological Manifold/Complex Manifold
 * 1846) Definition:Topological Manifold/Differentiable Manifold
 * 1847) Definition:Topological Manifold/Smooth Manifold
 * 1848) Definition:Topological Manifold
 * 1849) Definition:Topological Ring
 * 1850) Definition:Topological Semigroup
 * 1851) Definition:Topological Vector Space
 * 1852) Definition:Topologically Distinguishable
 * 1853) Definition:Topology Generated by Synthetic Basis
 * 1854) Definition:Topology on Extended Real Numbers
 * 1855) Definition:Torsion
 * 1856) Definition:Total Derivative
 * 1857) Definition:Total Function
 * 1858) Definition:Total Ordering/Definition 2
 * 1859) Definition:Total Ordering
 * 1860) Definition:Total Preordering
 * 1861) Definition:Total Recursive Function
 * 1862) Definition:Totally Bounded Metric Space/Definition 2
 * 1863) Definition:Totally Bounded Metric Space
 * 1864) Definition:Totally Ordered Commutative Semigroup
 * 1865) Definition:Totally Ordered Group
 * 1866) Definition:Totally Ordered Semigroup
 * 1867) Definition:Totally Ordered Space
 * 1868) Definition:Totally Ordered Structure
 * 1869) Definition:Tower of Fields
 * 1870) Definition:Trace (Field Theory)
 * 1871) Definition:Trace (Linear Algebra)
 * 1872) Definition:Trace Table
 * 1873) Definition:Transcendence Degree
 * 1874) Definition:Transcendental Field Extension
 * 1875) Definition:Transcendental Element of Field Extension
 * 1876) Definition:Transcendental
 * 1877) Definition:Transfer Function
 * 1878) Definition:Transitive Closure (Relation Theory)/Intersection of Transitive Supersets
 * 1879) Definition:Transitive Closure (Relation Theory)/Smallest Transitive Superset
 * 1880) Definition:Transitive Closure (Relation Theory)/Union of Compositions
 * 1881) Definition:Transitive Closure
 * 1882) Definition:Transitive Reduction
 * 1883) Definition:Transitive with Respect to a Relation
 * 1884) Definition:Transitivity (Relation Theory)
 * 1885) Definition:Translation Mapping
 * 1886) Definition:Translation-Invariant Measure
 * 1887) Definition:Transversal (Geometry)
 * 1888) Definition:Tree (Graph Theory)/Definition 1
 * 1889) Definition:Tree (Graph Theory)
 * 1890) Definition:Tree (Set Theory)
 * 1891) Definition:Triangle (Geometry)/Acute
 * 1892) Definition:Triangle (Geometry)/Adjacent
 * 1893) Definition:Triangle (Geometry)/Apex
 * 1894) Definition:Triangle (Geometry)/Base
 * 1895) Definition:Triangle (Geometry)/Equilateral
 * 1896) Definition:Triangle (Geometry)/Height
 * 1897) Definition:Triangle (Geometry)/Isosceles/Apex
 * 1898) Definition:Triangle (Geometry)/Isosceles/Base Angles
 * 1899) Definition:Triangle (Geometry)/Isosceles/Base
 * 1900) Definition:Triangle (Geometry)/Isosceles/Legs
 * 1901) Definition:Triangle (Geometry)/Isosceles
 * 1902) Definition:Triangle (Geometry)/Nomenclature
 * 1903) Definition:Triangle (Geometry)/Oblique
 * 1904) Definition:Triangle (Geometry)/Obtuse
 * 1905) Definition:Triangle (Geometry)/Opposite
 * 1906) Definition:Triangle (Geometry)/Right-Angled/Adjacent
 * 1907) Definition:Triangle (Geometry)/Right-Angled/Hypotenuse
 * 1908) Definition:Triangle (Geometry)/Right-Angled
 * 1909) Definition:Triangle (Geometry)/Scalene
 * 1910) Definition:Triangle (Geometry)
 * 1911) Definition:Triangle (Graph Theory)
 * 1912) Definition:Triangular Matrix/Lower Triangular Matrix
 * 1913) Definition:Trichotomy
 * 1914) Definition:Triplicate Ratio
 * 1915) Definition:Trivial Character
 * 1916) Definition:Trivial G-Module
 * 1917) Definition:Trivial Gradation
 * 1918) Definition:Trivial Measure
 * 1919) Definition:Trivial Norm
 * 1920) Definition:Trivial Partition
 * 1921) Definition:Trivial Topological Space
 * 1922) Definition:Trivial
 * 1923) Definition:Truth Function/Connective
 * 1924) Definition:Two (Ordinal)
 * 1925) Definition:Type Space
 * 1926) Definition:Type
 * 1927) Definition:Ultrafilter on Set
 * 1928) Definition:Ultraproduct
 * 1929) Definition:Unambiguous
 * 1930) Definition:Underlying Graph
 * 1931) Definition:Underlying Set Functor
 * 1932) Definition:Underlying Set/Topological Space
 * 1933) Definition:Underlying Set
 * 1934) Definition:Undirected Graph
 * 1935) Definition:Uniform Continuity/Real Numbers
 * 1936) Definition:Uniform Continuity
 * 1937) Definition:Uniform Convergence Almost Everywhere
 * 1938) Definition:Uniform Convergence/Metric Space
 * 1939) Definition:Uniform Convergence
 * 1940) Definition:Uniform Equivalence
 * 1941) Definition:Union of Relations/General Definition
 * 1942) Definition:Union of Relations
 * 1943) Definition:Union Relation
 * 1944) Definition:Unique Parsability
 * 1945) Definition:Uniquely Complemented Lattice
 * 1946) Definition:Unit Arithmetic Function
 * 1947) Definition:Unit of System of Sets
 * 1948) Definition:Unital Subalgebra
 * 1949) Definition:Unit of Measurement
 * 1950) Definition:Universal Categorical Statement
 * 1951) Definition:Universal Graph
 * 1952) Definition:Universal Model
 * 1953) Definition:Universal Net
 * 1954) Definition:Universally Compatible
 * 1955) Definition:Universally Congruent
 * 1956) Definition:Universe of Discourse
 * 1957) Definition:Universe
 * 1958) Definition:Unlimited Register Machine
 * 1959) Definition:Unsatisfiable/Boolean Interpretations
 * 1960) Definition:Unsatisfiable/Formula
 * 1961) Definition:Unsatisfiable/Set of Formulas
 * 1962) Definition:Unsatisfiable
 * 1963) Definition:Upper Closure of Element
 * 1964) Definition:Upper Closure
 * 1965) Definition:Upper Semilattice on Classical Set
 * 1966) Definition:Upper Set/Definition 1
 * 1967) Definition:Upper Set/Definition 2
 * 1968) Definition:Upper Set/Definition 3
 * 1969) Definition:Upper Set
 * 1970) Definition:URM Computability
 * 1971) Definition:Vacuous Truth
 * 1972) Definition:Vacuous
 * 1973) Definition:Valid
 * 1974) Definition:Valuation Ring
 * 1975) Definition:Valuation
 * 1976) Definition:Vector (Euclidean Space)
 * 1977) Definition:Vector Length
 * 1978) Definition:Vector Notation
 * 1979) Definition:Vector Space Automorphism
 * 1980) Definition:Vector Space Monomorphism
 * 1981) Definition:Vectorialization of Affine Space
 * 1982) Definition:Veridical Paradox
 * 1983) Definition:Vertex Cut
 * 1984) Definition:Von Mangoldt Function
 * 1985) Definition:Walk/Closed
 * 1986) Definition:Walk/Length
 * 1987) Definition:Walk/Open
 * 1988) Definition:Wedge Product
 * 1989) Definition:Weight (Physics)
 * 1990) Definition:Weight Function
 * 1991) Definition:Well-Defined/Relation
 * 1992) Definition:Well-Defined
 * 1993) Definition:Well-Founded Class
 * 1994) Definition:Well-Orderable Set
 * 1995) Definition:Well-Ordering
 * 1996) Definition:With Respect To
 * 1997) Definition:Witness Property
 * 1998) Definition:Word Metric
 * 1999) Definition:Word
 * 2000) Definition:Zariski Topology
 * 2001) Definition:Zenzizenzizenzic
 * 2002) Definition:Zero (Ordinal)
 * 2003) Definition:Zero Angle
 * 2004) Definition:Zero Divisor/Algebra
 * 2005) Definition:Zero Divisor
 * 2006) Definition:Zero Locus
 * 2007) Definition:Zero Subspace
 * 2008) Definition:ZF
 * 2009) Definition:ZFC