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

Metaconcepts

 * Definition:Mathematics
 * Definition:Natural Language
 * Definition:Object
 * Definition:Distinct/Singular
 * Definition:Distinct/Plural
 * Definition:Symbol
 * Definition:Property
 * Definition:Unique
 * Definition:Constant
 * Definition:Variable

Languages to Logic

 * Definition:Propositional Logic
 * Definition:Statement
 * Definition:Formal Language
 * Definition:Well-Formed Formula
 * Definition:Language of Propositional Logic
 * Definition:Language of Propositional Logic/Formal Grammar/WFF
 * Definition:Formal Semantics
 * Definition:Logical Language
 * Definition:Proof System
 * Definition:Truth Value
 * Definition:True
 * Definition:False
 * Definition:Conditional
 * Definition:Conjunction
 * Definition:Iff
 * Definition:Logical Equivalence


 * Definition:Language of Predicate Logic


 * Definition:Propositional Function
 * Definition:Logical Formula

Set Theory

 * Definition:Set
 * Definition:Element
 * Definition:Singleton
 * Definition:Subset
 * Definition:Empty Set
 * Definition:Non-Empty Set
 * Definition:Set of Sets
 * Definition:Power Set
 * Definition:Cardinality
 * Definition:Finite
 * Definition:Finite Set
 * Definition:Infinite Set
 * Definition:Countable Set
 * Definition:Class (Class Theory)


 * Definition:Ordinal


 * Definition:Indexing Set
 * Definition:Indexing Set/Family


 * Definition:Set Intersection
 * Definition:Disjoint Sets
 * Definition:Set Union
 * Definition:Relative Complement
 * Definition:Ordered Pair
 * Definition:Cartesian Product
 * Definition:Ordered Tuple
 * Definition:Relation
 * Definition:Endorelation
 * Definition:Equivalence Relation
 * Definition:Equivalence Class
 * Definition:Left-Total Relation/Multifunction


 * Definition:Ordered Set
 * Definition:Ordering
 * Definition:Supremum of Set


 * Definition:Totally Ordered Set

Mappings

 * Definition:Mapping
 * Definition:Domain (Set Theory)/Mapping
 * Definition:Codomain (Set Theory)/Mapping
 * Definition:Image (Set Theory)/Mapping/Mapping
 * Definition:Image (Set Theory)/Mapping/Element
 * Definition:Restriction/Mapping
 * Definition:Function
 * Definition:Injection
 * Definition:Surjection
 * Definition:Bijection
 * Definition:Identity Mapping
 * Definition:Composition of Mappings
 * Definition:Sequence
 * Definition:Term of Sequence
 * Definition:Finite Sequence

Algebraic Structures

 * Definition:Abstract Algebra
 * Definition:Operation
 * Definition:Operation/Binary Operation
 * Definition:Commutative Operation
 * Definition:Identity (Abstract Algebra)/Two-Sided Identity
 * Definition:Inverse (Abstract Algebra)/Inverse
 * Definition:Algebraic Structure
 * Definition:Closure (Abstract Algebra)/Algebraic Structure
 * Definition:Semigroup
 * Definition:Monoid
 * Definition:Group
 * Definition:Abelian Group
 * Definition:Subgroup
 * Definition:Normal Subgroup
 * Definition:Group Action


 * Definition:Ring
 * Definition:Commutative Ring
 * Definition:Ring Zero
 * Definition:Unit of Ring
 * Definition:Ring with Unity
 * Definition:Commutative and Unitary Ring
 * Definition:Division Ring
 * Definition:Polynomial Ring
 * Definition:Polynomial over Ring


 * Definition:Norm/Division Ring
 * Definition:Ideal of Ring


 * Definition:Integral Domain
 * Definition:Field
 * Definition:Field Extension
 * Definition:Module
 * Definition:Unitary Module
 * Definition:Vector Space
 * Definition:Real Vector Space
 * Definition:Linear Transformation
 * Definition:Dimension of Vector Space
 * Definition:Matrix
 * Definition:Matrix/Square Matrix

Number Systems

 * Definition:Number
 * Definition:Natural Numbers
 * Definition:Number Base
 * Definition:Digit
 * Definition:Zero (Number)
 * Definition:Integer
 * Definition:Positive/Integer
 * Definition:Strictly Positive/Integer
 * Definition:Odd Integer
 * Definition:Integer Sequence
 * Definition:Prime Number
 * Definition:Divisor (Algebra)/Integer
 * Definition:Rational Number
 * Definition:Irrational Number
 * Definition:Real Number
 * Definition:Positive/Real Number
 * Definition:Strictly Positive/Real Number
 * Definition:Absolute Value
 * Definition:Extended Real Number Line
 * Definition:Complex Number
 * Definition:Complex Modulus
 * Definition:Complex Plane


 * Definition:Addition/Integers
 * Definition:Multiplication


 * Definition:Real Function
 * Definition:Real-Valued Function
 * Definition:Real Sequence
 * Definition:Complex Function
 * Definition:Real Interval
 * Definition:Real Interval/Open
 * Definition:Real Interval/Closed


 * Definition:Series


 * Definition:Derivative
 * Definition:Differential Equation

Geometry

 * Definition:Point
 * Definition:Line
 * Definition:Line/Segment
 * Definition:Line/Straight Line
 * Definition:Line/Curve
 * Definition:Linear Measure/Length
 * Definition:Geometric Figure
 * Definition:Intersection (Geometry)


 * Definition:Circle
 * Definition:Circle/Center
 * Definition:Polygon
 * Definition:Polygon/Vertex
 * Definition:Polygon/Side
 * Definition:Triangle (Geometry)
 * Definition:Quadrilateral/Square
 * Definition:Angle
 * Definition:Perpendicular
 * Definition:Surface/Plane Surface
 * Definition:Dimension (Geometry)


 * Definition:Coordinate System/Origin
 * Definition:Cartesian Coordinate System/Coordinate Plane
 * Definition:Axis/X-Axis

Metric Spaces to Topology

 * Definition:Metric Space
 * Definition:Topology
 * Definition:Topological Space
 * Definition:Open Set/Topology
 * Definition:Closed Set/Topology


 * Definition:Hilbert Space

Category Theory

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

Graph Theory

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

Physics

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

Computer Science

 * Definition:Algorithm

Probability Theory

 * Definition:Measure Space
 * Definition:Probability Space
 * Definition:Random Variable
 * Definition:Game
 * Definition:Game/Player