Category:Set Theory Definitions

A

• Arity
• Axiom of foundation
• Axiom of regularity
• Axiom schema of replacement

B

• Bijection
• Bijective
• Binary relation

C

• Canonical projection of an equivalence relation
• Canonical projection of the equivalence relation
• Cardinality
• Cartesian product
• Complement
• Complementation
• Completely invariant under
• Composition of functions
• Constant function
• Constant map
• Constant mapping
• Correspondence
• Cover

D

• Disjoint
• Disjoint in
• Disjoint in a set
• Disjoint union
• Disjoint union (set)

E

• Empty set
• Empty-set
• Emptyset
• Equivalence class
• Equivalence classes
• Equivalence relation
• Equivalence relation induced by a function
• Equivalence relations
• Every bijection yields an inverse function
• Every injection yields a bijection onto its image
• Extension

F

• Fibre
• Fibre (map)
• Function
• Function terminology
• Functions

G

• Graph

H

• Hereditary
• Hereditary class of sets
• Hereditary set
• Hereditary set system
• Hereditary system
• Hereditary system generated by

I

• Identity map

I cont.

• Implies-subset relation
• Indicator function
• Inductive set
• Infimum
• Injection
• Injective
• Integer division
• Integers
• Invariant of an equivalence relation
• Invariant under

L

• Liminf (sequence of sets)
• Limit of increasing sequence of sets
• Limsup (sequence of sets)
• Limsup and liminf
• Limsup and liminf (sequence of sets)
• Logical implication

M

• Map
• Mapping
• Mappings
• Min/max
• Modulo operation
• Modulo operator
• Monotone
• Monotonic

N

• Non-empty
• Non-empty in

O

• Order terminology
• Ordered pair
• Ordered pairs
• Ordering

P

• Partial order
• Partial ordering
• Partial-function
• Partition (abstract algebra)
• Passing to the quotient
• Passing-to-the-quotient (function)
• Permutation
• Permutation of a set
• Permutation on a set
• Poset
• Positive and negative parts of a function
• Power-set
• Pre-image (map)
• Predicate
• Preorder
• Preordering
• Preset

Q

• Quotient (function)
• Quotient by an equivalence relation

Q cont.

• Quotient by the equivalence relation

R

• Rational numbers
• Real numbers
• Reflexive relation
• Relation
• Relations
• Replacement axiom
• Restriction
• Restriction (function)

S

• Saturated
• Saturated (map)
• Saturated set with respect to a function
• Saturated with respect to a function
• Sequence
• Set
• Set complement
• Set function
• Set subtraction
• Set-subtraction
• Sets
• Singleton
• Singleton (set theory)
• Singleton (set theory)/Definition
• Strict partial order
• Strict partial ordering
• Sub-sequence
• Subsequence
• Subsequence/Definition
• Subset
• Successor function
• Successor of a set
• Successor set
• Surjection
• Surjective
• Surjectivity
• Symmetric difference
• Symmetric relation

T

• The 2 foundational ways of counting
• The 6 primitives of counting
• The diagonal (set)
• The integers
• The reals
• The relationship between logical implication and the subset relation
• Transitive relation
• Tuples
• Types of set algebras

U

• Union

W

• Well-ordered set
• Well-ordering