User:Ascii/Definitions (by Meaning 1-400)

Metaconcepts

 * Definition:Object
 * Definition:Symbol
 * Definition:Variable
 * Definition:Constant
 * Definition:Unique
 * Definition:Distinct
 * Definition:Distinct/Plural


 * Definition:Formal Language
 * Definition:Well-Formed Formula

Logic

 * Definition:Statement
 * Definition:Proposition
 * Definition:True
 * Definition:False
 * Definition:Truth Value
 * Definition:Propositional Logic
 * Definition:Logical Not
 * Definition:Conjunction
 * Definition:Conditional
 * Definition:Biconditional
 * Definition:Logical Equivalence
 * Definition:Iff
 * Definition:Vacuous Truth
 * Definition:Main Connective/Propositional Logic
 * Definition:Propositional Function
 * Definition:Boolean Interpretation
 * Definition:Contradiction
 * Definition:Language of Propositional Logic/Formal Grammar/WFF


 * Definition:By Hypothesis
 * Definition:Basis for the Induction
 * Definition:Induction Hypothesis
 * Definition:Induction Step

Set Theory

 * Definition:Set
 * Definition:Element
 * Definition:Subset
 * Definition:Proper Subset
 * Definition:Set Equality
 * Definition:Singleton
 * Definition:Empty Set
 * Definition:Non-Empty Set
 * Definition:Disjoint Sets
 * Definition:Pairwise Disjoint
 * Definition:Set of Sets
 * Definition:Power Set
 * Definition:Set Partition
 * Definition:Universe (Set Theory)
 * Definition:Set Union
 * Definition:Set Intersection
 * Definition:Set Difference
 * Definition:Relative Complement
 * Definition:Finite
 * Definition:Finite Set
 * Definition:Countable Set
 * Definition:Countably Infinite
 * Definition:Uncountable Set
 * Definition:Infinite Set
 * Definition:Set Equivalence
 * Definition:Cardinality


 * Definition:Indexing Set
 * Definition:Indexing Set/Family
 * Definition:Indexing Set/Family of Sets


 * Definition:Ordered Pair
 * Definition:Cartesian Product
 * Definition:Relation
 * Definition:Inverse Relation
 * Definition:Endorelation
 * Definition:Reflexive Relation
 * Definition:Reflexivity
 * Definition:Symmetric Relation
 * Definition:Antisymmetric Relation
 * Definition:Transitive Relation
 * Definition:Many-to-One Relation
 * Definition:Diagonal Relation
 * Definition:Equivalence Relation
 * Definition:Equivalence Class


 * Definition:Ordering
 * Definition:Ordered Set
 * Definition:Directed Subset
 * Definition:Upper Set
 * Definition:Lower Set
 * Definition:Upper Closure/Element
 * Definition:Lower Closure/Element
 * Definition:Up-Complete


 * Definition:Total Ordering
 * Definition:Totally Ordered Set


 * Definition:Well-Ordered Set


 * Definition:Smallest/Ordered Set
 * Definition:Greatest/Ordered Set
 * Definition:Minimal/Element
 * Definition:Upper Bound of Set
 * Definition:Lower Bound of Set
 * Definition:Bounded Below Set
 * Definition:Supremum of Set
 * Definition:Infimum of Set


 * Definition:Lattice
 * Definition:Complete Lattice
 * Definition:Join Semilattice
 * Definition:Meet Semilattice


 * Definition:Ordered Tuple


 * Definition:Class (Class Theory)


 * Definition:Limit Ordinal

Mappings

 * Definition:Mapping
 * Definition:Function
 * Definition:Domain (Relation Theory)/Mapping
 * Definition:Codomain (Set Theory)/Mapping
 * Definition:Image (Set Theory)/Mapping/Mapping
 * Definition:Image (Set Theory)/Mapping/Subset
 * Definition:Image (Set Theory)/Mapping/Element
 * Definition:Preimage/Mapping/Subset
 * Definition:Restriction/Mapping
 * Definition:Inverse Mapping
 * Definition:Finite Sequence
 * Definition:Constant Mapping
 * Definition:Identity Mapping
 * Definition:Permutation
 * Definition:Surjection
 * Definition:Injection
 * Definition:Bijection
 * Definition:Composition of Mappings


 * Definition:Characteristic Function (Set Theory)/Set
 * Definition:Inclusion Mapping


 * Definition:Sequence
 * Definition:Sequence/Infinite Sequence
 * Definition:Term of Sequence
 * Definition:Subsequence


 * Definition:Order Isomorphism
 * Definition:Increasing/Mapping


 * Definition:Ordinal

Number Systems

 * Definition:Number
 * Definition:Natural Numbers
 * Definition:Zero (Number)
 * Definition:Number Base
 * Definition:Decimal Notation
 * Definition:Digit
 * Definition:Initial Segment


 * Definition:Integer
 * Definition:Positive/Integer
 * Definition:Strictly Positive/Integer
 * Definition:Rational Number
 * Definition:Rational Number/Fraction/Numerator
 * Definition:Rational Number/Fraction/Denominator
 * Definition:Ratio


 * Definition:Irrational Number
 * Definition:Commensurable
 * Definition:Incommensurable
 * Definition:Commensurable in Square Only


 * Definition:Real Number
 * Definition:Positive/Real Number
 * Definition:Strictly Positive/Real Number
 * Definition:Real Number/Real Number Line
 * Definition:Real Interval
 * Definition:Real Interval/Open
 * Definition:Real Interval/Closed
 * Definition:Real Interval/Half-Open
 * Definition:Coordinate System/Origin
 * Definition:Cartesian Plane
 * Definition:Axis/X-Axis


 * Definition:Complex Number
 * Definition:Complex Number/Real Part
 * Definition:Complex Number/Imaginary Part
 * Definition:Complex Number/Imaginary Unit
 * Definition:Complex Number/Polar Form
 * Definition:Complex Conjugate
 * Definition:Complex Plane


 * Definition:Absolute Value
 * Definition:Addition/Integers
 * Definition:Multiplication
 * Definition:Multiplication/Integers
 * Definition:Multiplication/Real Numbers
 * Definition:Complex Multiplication
 * Definition:Power (Algebra)/Integer
 * Definition:Complex Modulus

Number Theory

 * Definition:Square Number
 * Definition:Square/Function
 * Definition:Square Root
 * Definition:Factorial
 * Definition:Integer Sequence
 * Definition:Divisor (Algebra)/Integer
 * Definition:Divisor (Algebra)/Integer/Aliquot Part
 * Definition:Greatest Common Divisor/Integers
 * Definition:Congruence Modulo Integer


 * Definition:Prime Number
 * Definition:Composite Number
 * Definition:Prime Decomposition
 * Definition:Prime Decomposition/Multiplicity
 * Definition:Prime Factor
 * Definition:Coprime Integers


 * Definition:Even Integer
 * Definition:Odd Integer


 * Definition:Fibonacci Number
 * Definition:Golden Mean


 * Definition:Floor Function


 * Definition:Divisor Sum Function
 * Definition:Divisor Counting Function
 * Definition:Euler Phi Function


 * Definition:Triangular Number
 * Definition:Binomial Coefficient


 * Definition:Real Sequence
 * Definition:Complex Function

Abstract Algebra

 * Definition:Operation/Binary Operation
 * Definition:Closure (Abstract Algebra)/Algebraic Structure
 * Definition:Subset Product
 * Definition:Commutative Operation
 * Definition:Associative Operation
 * Definition:Cancellable Element
 * Definition:Identity (Abstract Algebra)/Two-Sided Identity
 * Definition:Inverse (Abstract Algebra)/Inverse


 * Definition:Relation Compatible with Operation


 * Definition:Algebraic Structure
 * Definition:Order of Structure
 * Definition:Morphism Property
 * Definition:Homomorphism (Abstract Algebra)
 * Definition:Isomorphism (Abstract Algebra)


 * Definition:Semigroup
 * Definition:Commutative Semigroup
 * Definition:Monoid
 * Definition:Group
 * Axiom:Group Axioms
 * Definition:Finite Group
 * Definition:Order of Group Element
 * Definition:Abelian Group
 * Definition:Subgroup
 * Definition:Normal Subgroup
 * Definition:Generated Subgroup
 * Definition:Cyclic Group
 * Definition:Symmetric Group/n Letters


 * Definition:Group Homomorphism
 * Definition:Isomorphism (Abstract Algebra)/Group Isomorphism
 * Definition:Coset/Left Coset
 * Definition:Quotient Group


 * Definition:Distributive Operation
 * Definition:Ring (Abstract Algebra)
 * Definition:Ring (Abstract Algebra)/Product
 * Definition:Kronecker Delta
 * Definition:Subring
 * Definition:Ring Zero
 * Definition:Commutative Ring
 * Definition:Unity (Abstract Algebra)/Ring
 * Definition:Ring with Unity
 * Definition:Commutative and Unitary Ring
 * Definition:Unit of Ring
 * Definition:Ideal of Ring
 * Definition:Division Ring
 * Definition:Norm/Division Ring
 * Definition:Normed Division Ring
 * Definition:Non-Archimedean/Norm (Division Ring)
 * Definition:Ring Homomorphism


 * Definition:Integral Domain
 * Definition:Field (Abstract Algebra)
 * Definition:Field Extension


 * Definition:Polynomial
 * Definition:Polynomial over Ring
 * Definition:Polynomial Ring
 * Definition:Polynomial Ring/Indeterminate
 * Definition:Coefficient of Polynomial


 * Definition:Summation


 * Definition:Module
 * Definition:Unitary Module
 * Definition:Linear Transformation
 * Definition:Vector Space
 * Definition:Zero Vector
 * Definition:Dimension of Vector Space
 * Definition:Norm/Vector Space


 * Definition:Degree of Polynomial
 * Definition:Root of Polynomial
 * Definition:Group Action


 * Definition:Matrix
 * Definition:Matrix/Row
 * Definition:Matrix/Column
 * Definition:Matrix/Square Matrix
 * Definition:Matrix/Square Matrix/Order
 * Definition:Matrix Product (Conventional)
 * Definition:Determinant/Matrix

Topology

 * Definition:Topology
 * Definition:Topological Space
 * Definition:Open Set/Topology
 * Definition:Closed Set/Topology
 * Definition:Discrete Topology
 * Definition:Indiscrete Topology
 * Definition:Topological Subspace


 * Definition:Interior (Topology)
 * Definition:Basis (Topology)
 * Definition:Second-Countable Space


 * Definition:Neighborhood (Topology)/Point
 * Definition:Open Neighborhood
 * Definition:Limit Point/Topology/Set
 * Definition:Closure (Topology)
 * Definition:Everywhere Dense
 * Definition:Connected Set (Topology)


 * Definition:Cover of Set
 * Definition:Subcover/Finite
 * Definition:Open Cover
 * Definition:Compact Topological Space


 * Definition:Continuous Mapping (Topology)
 * Definition:Continuous Mapping (Topology)/Everywhere


 * Definition:Kolmogorov Space
 * Definition:Fréchet Space (Topology)
 * Definition:Hausdorff Space


 * Definition:Product Space (Topology)


 * Definition:Euclidean Space
 * Definition:Euclidean Space/Euclidean Topology/Real Number Line


 * Definition:Metric Space
 * Definition:Metric Space/Distance Function
 * Definition:Open Set/Metric Space
 * Definition:Open Ball
 * Definition:Complete Metric Space

Analysis

 * Definition:Extended Real Number Line


 * Definition:Real Function
 * Definition:Real-Valued Function
 * Definition:Strictly Increasing/Real Function
 * Definition:Bounded Mapping/Real-Valued


 * Definition:Convergent Real Sequence
 * Definition:Series
 * Definition:Convergent Series
 * Definition:Absolutely Convergent Series


 * Definition:Continuous on Interval
 * Definition:Continuous Real Function


 * Definition:Exponential Function/Real
 * Definition:Natural Logarithm


 * Definition:Gamma Function


 * Definition:Differentiable Mapping/Real Function/Interval
 * Definition:Derivative
 * Definition:Differentiation
 * Definition:Primitive (Calculus)
 * Definition:Primitive (Calculus)/Arbitrary Constant
 * Definition:Differential Equation/Solution
 * Definition:Solution Set of Differential Equation


 * Definition:Open Set/Complex Analysis


 * Definition:First Order Ordinary Differential Equation
 * Definition:Second Order Ordinary Differential Equation
 * Definition:Constant Coefficient Homogeneous Linear Second Order ODE


 * Definition:Laplace Transform


 * Definition:Hilbert Space

Geometry

 * Definition:Point
 * Definition:Line/Straight Line
 * Definition:Line/Segment
 * Definition:Line/Curve
 * Definition:Rational Line Segment
 * Definition:Bisection
 * Definition:Intersection (Geometry)


 * Definition:Linear Measure/Length
 * Definition:Commensurable in Length
 * Definition:Angle
 * Definition:Right Angle
 * Definition:Perpendicular
 * Definition:Parallel (Geometry)/Lines


 * Definition:Polygon
 * Definition:Polygon/Side
 * Definition:Polygon/Vertex
 * Definition:Triangle (Geometry)
 * Definition:Quadrilateral/Square
 * Definition:Quadrilateral/Rectangle
 * Definition:Quadrilateral/Rectangle/Containment
 * Definition:Quadrilateral/Parallelogram
 * Definition:Circle
 * Definition:Circle/Center
 * Definition:Circle/Radius
 * Definition:Circle/Circumference
 * Definition:Circle/Arc
 * Definition:Plane Surface/The Plane
 * Definition:Plane Surface
 * Definition:Area
 * Definition:Rational Area
 * Definition:Medial Area


 * Definition:Sine
 * Definition:Cosine
 * Definition:Tangent Function
 * Definition:Cotangent
 * Definition:Hyperbolic Sine
 * Definition:Hyperbolic Cosine

Graph Theory

 * Definition:Graph (Graph Theory)
 * Definition:Graph (Graph Theory)/Vertex
 * Definition:Graph (Graph Theory)/Edge

Category Theory

 * Definition:Category
 * Definition:Object (Category Theory)
 * Definition:Morphism
 * Definition:Functor/Covariant
 * Definition:Commutative Diagram


 * Definition:Metacategory

Probability

 * Definition:Sigma-Algebra
 * Definition:Measure (Measure Theory)
 * Definition:Measurable Space
 * Definition:Measure Space
 * Definition:Probability Space
 * Definition:Random Variable/Discrete
 * Definition:Expectation
 * Definition:Game
 * Definition:Game/Player

Physics

 * Definition:Time
 * Definition:Body
 * Definition:Mass
 * Definition:Unit of Measurement