# Appendix:Glossary of set theory

Jump to navigation
Jump to search

This is a glossary of set theory.

**Table of Contents:** A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

## A[edit]

- axiom of choice
- One of the axioms in axiomatic set theory, equivalent to the statement that an arbitrary direct product of non-empty sets is non-empty.

## C[edit]

- Cartesian product
- The set of all possible pairs of elements whose components are members of two sets.
- complement
- Given two sets, the set containing one set's elements that are not members of the other set.
- complement
- The set containing exactly those elements of the universal set not in the given set.

## D[edit]

- disjoint
- Of two or more sets, having no members in common; having an intersection equal to the empty set.

## E[edit]

- element
- One of the objects in a set.
- equivalence class
- Any one of the subsets into which an equivalence relation partitions a set, each of these subsets containing all the elements of the set that are equivalent under the equivalence relation.
- equivalence relation
- A binary relation that is reflexive, symmetric and transitive.

## I[edit]

- intersection
- The set containing all the elements that are common to two or more sets.

## M[edit]

- member
- An element of a set.

## O[edit]

- ordered pair
- A tuple consisting of two elements.

## P[edit]

- partition
- A collection of non-empty, disjoint subsets of a set whose union is the set itself (i.e. all elements of the set are contained in exactly one of the subsets).

- power set
- The set of all subsets of a set.

## R[edit]

- relation
- A set of ordered tuples.

## S[edit]

- set
- A possibly infinite collection of objects, disregarding their order and repetition.

- subset
- With respect to another set, a set such that each of its elements is also an element of the other set.

- superset
- With respect to another set, a set such that each of the elements of the other set is also an element of the set.

## T[edit]

- tuple
- A finite sequence of elements; a finite ordered set.

## U[edit]

- union
- The set containing all of the elements of two or more sets.

## V[edit]

- Venn diagram
- A diagram representing sets by circles or ellipses.