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