Get it on Google Play
New! Download Unionpedia on your Android™ device!
Faster access than browser!

Equivalence relation

+ Save concept

In mathematics, an equivalence relation is a binary relation that is reflexive, symmetric and transitive. [1]

108 relations: Algebraic expression, Algebraic structure, Antisymmetric relation, Apartness relation, Associative property, Asymmetric relation, Automorphism, Bas van Fraassen, Bell number, Bijection, Binary relation, Cardinal number, Cardinality, Cartesian product, Category theory, Classical mathematics, Codomain, Complete lattice, Congruence (geometry), Congruence relation, Conjugacy class, Constructivism (mathematics), Coset, Cut-the-Knot, Dependency relation, Directed graph, Disjoint sets, Dobiński's formula, Domain of a function, Empty set, Equality (mathematics), Equipollence (geometry), Equivalence class, Euclid, Euclid's Elements, Euclidean relation, First-order logic, Fixed point (mathematics), Free object, Function (mathematics), Function composition, Garrett Birkhoff, Geometric lattice, Greatest common divisor, Group (mathematics), Group action, Group theory, Groupoid, Homeomorphism, Identity function, ..., If and only if, Image (mathematics), Infimum and supremum, Injective function, Integer, Invariant (mathematics), Inverse function, John Lucas (philosopher), John Wiley & Sons, Join and meet, Karel Hrbáček, Kernel (algebra), Lattice (order), Law of excluded middle, Map (mathematics), Marcel Dekker, Mathematics, Model theory, Modular arithmetic, Monoid, Morley's categoricity theorem, Natural number, Normal subgroup, Order theory, Partial equivalence relation, Partially ordered set, Partition of a set, Permutation, Permutation group, Preorder, Projection (set theory), Quotient space (topology), Raymond Louis Wilder, Reflexive relation, Robert P. Dilworth, Saunders Mac Lane, Serial relation, Setoid, Similarity (geometry), Singleton (mathematics), Subgroup, Subset, Substitution (algebra), Surjective function, Symmetric relation, Thomas Jech, Tolerance relation, Topological conjugacy, Topological space, Torus, Total order, Transitive relation, Triangle, Union (set theory), Universe (mathematics), Up to, Vacuous truth, Well-defined. Expand index (58 more) »

Algebraic expression

In mathematics, an algebraic expression is an expression built up from integer constants, variables, and the algebraic operations (addition, subtraction, multiplication, division and exponentiation by an exponent that is a rational number).

New!!: Equivalence relation and Algebraic expression · See more »

Algebraic structure

In mathematics, and more specifically in abstract algebra, an algebraic structure on a set A (called carrier set or underlying set) is a collection of finitary operations on A; the set A with this structure is also called an algebra.

New!!: Equivalence relation and Algebraic structure · See more »

Antisymmetric relation

In mathematics, a binary relation R on a set X is anti-symmetric if there is no pair of distinct elements of X each of which is related by R to the other.

New!!: Equivalence relation and Antisymmetric relation · See more »

Apartness relation

In constructive mathematics, an apartness relation is a constructive form of inequality, and is often taken to be more basic than equality.

New!!: Equivalence relation and Apartness relation · See more »

Associative property

In mathematics, the associative property is a property of some binary operations.

New!!: Equivalence relation and Associative property · See more »

Asymmetric relation

In mathematics, an asymmetric relation is a binary relation on a set X where.

New!!: Equivalence relation and Asymmetric relation · See more »


In mathematics, an automorphism is an isomorphism from a mathematical object to itself.

New!!: Equivalence relation and Automorphism · See more »

Bas van Fraassen

Bastiaan Cornelis van Fraassen (born 5 April 1941) is a Dutch-American philosopher.

New!!: Equivalence relation and Bas van Fraassen · See more »

Bell number

In combinatorial mathematics, the Bell numbers count the possible partitions of a set.

New!!: Equivalence relation and Bell number · See more »


In mathematics, a bijection, bijective function, or one-to-one correspondence is a function between the elements of two sets, where each element of one set is paired with exactly one element of the other set, and each element of the other set is paired with exactly one element of the first set.

New!!: Equivalence relation and Bijection · See more »

Binary relation

In mathematics, a binary relation on a set A is a set of ordered pairs of elements of A. In other words, it is a subset of the Cartesian product A2.

New!!: Equivalence relation and Binary relation · See more »

Cardinal number

In mathematics, cardinal numbers, or cardinals for short, are a generalization of the natural numbers used to measure the cardinality (size) of sets.

New!!: Equivalence relation and Cardinal number · See more »


In mathematics, the cardinality of a set is a measure of the "number of elements of the set".

New!!: Equivalence relation and Cardinality · See more »

Cartesian product

In set theory (and, usually, in other parts of mathematics), a Cartesian product is a mathematical operation that returns a set (or product set or simply product) from multiple sets.

New!!: Equivalence relation and Cartesian product · See more »

Category theory

Category theory formalizes mathematical structure and its concepts in terms of a labeled directed graph called a category, whose nodes are called objects, and whose labelled directed edges are called arrows (or morphisms).

New!!: Equivalence relation and Category theory · See more »

Classical mathematics

In the foundations of mathematics, classical mathematics refers generally to the mainstream approach to mathematics, which is based on classical logic and ZFC set theory.

New!!: Equivalence relation and Classical mathematics · See more »


In mathematics, the codomain or target set of a function is the set into which all of the output of the function is constrained to fall.

New!!: Equivalence relation and Codomain · See more »

Complete lattice

In mathematics, a complete lattice is a partially ordered set in which all subsets have both a supremum (join) and an infimum (meet).

New!!: Equivalence relation and Complete lattice · See more »

Congruence (geometry)

In geometry, two figures or objects are congruent if they have the same shape and size, or if one has the same shape and size as the mirror image of the other.

New!!: Equivalence relation and Congruence (geometry) · See more »

Congruence relation

In abstract algebra, a congruence relation (or simply congruence) is an equivalence relation on an algebraic structure (such as a group, ring, or vector space) that is compatible with the structure.

New!!: Equivalence relation and Congruence relation · See more »

Conjugacy class

In mathematics, especially group theory, the elements of any group may be partitioned into conjugacy classes; members of the same conjugacy class share many properties, and study of conjugacy classes of non-abelian groups reveals many important features of their structure.

New!!: Equivalence relation and Conjugacy class · See more »

Constructivism (mathematics)

In the philosophy of mathematics, constructivism asserts that it is necessary to find (or "construct") a mathematical object to prove that it exists.

New!!: Equivalence relation and Constructivism (mathematics) · See more »


In mathematics, if G is a group, and H is a subgroup of G, and g is an element of G, then Only when H is normal will the set of right cosets and the set of left cosets of H coincide, which is one definition of normality of a subgroup.

New!!: Equivalence relation and Coset · See more »


Cut-the-knot is a free, advertisement-funded educational website maintained by Alexander Bogomolny and devoted to popular exposition of many topics in mathematics.

New!!: Equivalence relation and Cut-the-Knot · See more »

Dependency relation

In mathematics and computer science, a dependency relation is a binary relation that is finite, symmetric, and reflexive; i.e. a finite tolerance relation.

New!!: Equivalence relation and Dependency relation · See more »

Directed graph

In mathematics, and more specifically in graph theory, a directed graph (or digraph) is a graph that is a set of vertices connected by edges, where the edges have a direction associated with them.

New!!: Equivalence relation and Directed graph · See more »

Disjoint sets

In mathematics, two sets are said to be disjoint sets if they have no element in common.

New!!: Equivalence relation and Disjoint sets · See more »

Dobiński's formula

In combinatorial mathematics, Dobiński’s formula states that the n-th Bell number Bn (i.e., the number of partitions of a set of size n) equals The formula is named after G. Dobiński, who published it in 1877.

New!!: Equivalence relation and Dobiński's formula · See more »

Domain of a function

In mathematics, and more specifically in naive set theory, the domain of definition (or simply the domain) of a function is the set of "input" or argument values for which the function is defined.

New!!: Equivalence relation and Domain of a function · See more »

Empty set

In mathematics, and more specifically set theory, the empty set or null set is the unique set having no elements; its size or cardinality (count of elements in a set) is zero.

New!!: Equivalence relation and Empty set · See more »

Equality (mathematics)

In mathematics, equality is a relationship between two quantities or, more generally two mathematical expressions, asserting that the quantities have the same value, or that the expressions represent the same mathematical object.

New!!: Equivalence relation and Equality (mathematics) · See more »

Equipollence (geometry)

In Euclidean geometry, equipollence is a binary relation between directed line segments.

New!!: Equivalence relation and Equipollence (geometry) · See more »

Equivalence class

In mathematics, when the elements of some set S have a notion of equivalence (formalized as an equivalence relation) defined on them, then one may naturally split the set S into equivalence classes.

New!!: Equivalence relation and Equivalence class · See more »


Euclid (Εὐκλείδης Eukleidēs; fl. 300 BC), sometimes given the name Euclid of Alexandria to distinguish him from Euclides of Megara, was a Greek mathematician, often referred to as the "founder of geometry" or the "father of geometry".

New!!: Equivalence relation and Euclid · See more »

Euclid's Elements

The Elements (Στοιχεῖα Stoicheia) is a mathematical treatise consisting of 13 books attributed to the ancient Greek mathematician Euclid in Alexandria, Ptolemaic Egypt c. 300 BC.

New!!: Equivalence relation and Euclid's Elements · See more »

Euclidean relation

In mathematics, Euclidean relations are a class of binary relations that formalizes "Axiom 1" in Euclid's Elements: "Magnitudes which are equal to the same are equal to each other.".

New!!: Equivalence relation and Euclidean relation · See more »

First-order logic

First-order logic—also known as first-order predicate calculus and predicate logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.

New!!: Equivalence relation and First-order logic · See more »

Fixed point (mathematics)

In mathematics, a fixed point (sometimes shortened to fixpoint, also known as an invariant point) of a function is an element of the function's domain that is mapped to itself by the function.

New!!: Equivalence relation and Fixed point (mathematics) · See more »

Free object

In mathematics, the idea of a free object is one of the basic concepts of abstract algebra.

New!!: Equivalence relation and Free object · See more »

Function (mathematics)

In mathematics, a function was originally the idealization of how a varying quantity depends on another quantity.

New!!: Equivalence relation and Function (mathematics) · See more »

Function composition

In mathematics, function composition is the pointwise application of one function to the result of another to produce a third function.

New!!: Equivalence relation and Function composition · See more »

Garrett Birkhoff

Garrett Birkhoff (January 19, 1911 – November 22, 1996) was an American mathematician.

New!!: Equivalence relation and Garrett Birkhoff · See more »

Geometric lattice

In the mathematics of matroids and lattices, a geometric lattice is a finite atomistic semimodular lattice, and a matroid lattice is an atomistic semimodular lattice without the assumptions of finiteness.

New!!: Equivalence relation and Geometric lattice · See more »

Greatest common divisor

In mathematics, the greatest common divisor (gcd) of two or more integers, which are not all zero, is the largest positive integer that divides each of the integers.

New!!: Equivalence relation and Greatest common divisor · See more »

Group (mathematics)

In mathematics, a group is an algebraic structure consisting of a set of elements equipped with an operation that combines any two elements to form a third element and that satisfies four conditions called the group axioms, namely closure, associativity, identity and invertibility.

New!!: Equivalence relation and Group (mathematics) · See more »

Group action

In mathematics, an action of a group is a formal way of interpreting the manner in which the elements of the group correspond to transformations of some space in a way that preserves the structure of that space.

New!!: Equivalence relation and Group action · See more »

Group theory

In mathematics and abstract algebra, group theory studies the algebraic structures known as groups.

New!!: Equivalence relation and Group theory · See more »


In mathematics, especially in category theory and homotopy theory, a groupoid (less often Brandt groupoid or virtual group) generalises the notion of group in several equivalent ways.

New!!: Equivalence relation and Groupoid · See more »


In the mathematical field of topology, a homeomorphism or topological isomorphism or bi continuous function is a continuous function between topological spaces that has a continuous inverse function.

New!!: Equivalence relation and Homeomorphism · See more »

Identity function

Graph of the identity function on the real numbers In mathematics, an identity function, also called an identity relation or identity map or identity transformation, is a function that always returns the same value that was used as its argument.

New!!: Equivalence relation and Identity function · See more »

If and only if

In logic and related fields such as mathematics and philosophy, if and only if (shortened iff) is a biconditional logical connective between statements.

New!!: Equivalence relation and If and only if · See more »

Image (mathematics)

In mathematics, an image is the subset of a function's codomain which is the output of the function from a subset of its domain.

New!!: Equivalence relation and Image (mathematics) · See more »

Infimum and supremum

In mathematics, the infimum (abbreviated inf; plural infima) of a subset S of a partially ordered set T is the greatest element in T that is less than or equal to all elements of S, if such an element exists.

New!!: Equivalence relation and Infimum and supremum · See more »

Injective function

In mathematics, an injective function or injection or one-to-one function is a function that preserves distinctness: it never maps distinct elements of its domain to the same element of its codomain.

New!!: Equivalence relation and Injective function · See more »


An integer (from the Latin ''integer'' meaning "whole")Integer 's first literal meaning in Latin is "untouched", from in ("not") plus tangere ("to touch").

New!!: Equivalence relation and Integer · See more »

Invariant (mathematics)

In mathematics, an invariant is a property, held by a class of mathematical objects, which remains unchanged when transformations of a certain type are applied to the objects.

New!!: Equivalence relation and Invariant (mathematics) · See more »

Inverse function

In mathematics, an inverse function (or anti-function) is a function that "reverses" another function: if the function applied to an input gives a result of, then applying its inverse function to gives the result, and vice versa.

New!!: Equivalence relation and Inverse function · See more »

John Lucas (philosopher)

John Randolph Lucas FBA (born 18 June 1929) is a British philosopher.

New!!: Equivalence relation and John Lucas (philosopher) · See more »

John Wiley & Sons

John Wiley & Sons, Inc., also referred to as Wiley, is a global publishing company that specializes in academic publishing.

New!!: Equivalence relation and John Wiley & Sons · See more »

Join and meet

In a partially ordered set P, the join and meet of a subset S are respectively the supremum (least upper bound) of S, denoted ⋁S, and infimum (greatest lower bound) of S, denoted ⋀S.

New!!: Equivalence relation and Join and meet · See more »

Karel Hrbáček

Karel Hrbáček (born 1944) is professor emeritus of mathematics at City College of New York.

New!!: Equivalence relation and Karel Hrbáček · See more »

Kernel (algebra)

In the various branches of mathematics that fall under the heading of abstract algebra, the kernel of a homomorphism measures the degree to which the homomorphism fails to be injective.

New!!: Equivalence relation and Kernel (algebra) · See more »

Lattice (order)

A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra.

New!!: Equivalence relation and Lattice (order) · See more »

Law of excluded middle

In logic, the law of excluded middle (or the principle of excluded middle) states that for any proposition, either that proposition is true or its negation is true.

New!!: Equivalence relation and Law of excluded middle · See more »

Map (mathematics)

In mathematics, the term mapping, sometimes shortened to map, refers to either a function, often with some sort of special structure, or a morphism in category theory, which generalizes the idea of a function.

New!!: Equivalence relation and Map (mathematics) · See more »

Marcel Dekker

Marcel Dekker was a journal and encyclopedia publishing company with editorial boards found in New York, New York.

New!!: Equivalence relation and Marcel Dekker · See more »


Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.

New!!: Equivalence relation and Mathematics · See more »

Model theory

In mathematics, model theory is the study of classes of mathematical structures (e.g. groups, fields, graphs, universes of set theory) from the perspective of mathematical logic.

New!!: Equivalence relation and Model theory · See more »

Modular arithmetic

In mathematics, modular arithmetic is a system of arithmetic for integers, where numbers "wrap around" upon reaching a certain value—the modulus (plural moduli).

New!!: Equivalence relation and Modular arithmetic · See more »


In abstract algebra, a branch of mathematics, a monoid is an algebraic structure with a single associative binary operation and an identity element.

New!!: Equivalence relation and Monoid · See more »

Morley's categoricity theorem

In model theory, a branch of mathematical logic, a theory is κ-categorical (or categorical in κ) if it has exactly one model of cardinality κ up to isomorphism.

New!!: Equivalence relation and Morley's categoricity theorem · See more »

Natural number

In mathematics, the natural numbers are those used for counting (as in "there are six coins on the table") and ordering (as in "this is the third largest city in the country").

New!!: Equivalence relation and Natural number · See more »

Normal subgroup

In abstract algebra, a normal subgroup is a subgroup which is invariant under conjugation by members of the group of which it is a part.

New!!: Equivalence relation and Normal subgroup · See more »

Order theory

Order theory is a branch of mathematics which investigates the intuitive notion of order using binary relations.

New!!: Equivalence relation and Order theory · See more »

Partial equivalence relation

In mathematics, a partial equivalence relation (often abbreviated as PER, in older literature also called restricted equivalence relation) R on a set X is a relation that is symmetric and transitive.

New!!: Equivalence relation and Partial equivalence relation · See more »

Partially ordered set

In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a set.

New!!: Equivalence relation and Partially ordered set · See more »

Partition of a set

In mathematics, a partition of a set is a grouping of the set's elements into non-empty subsets, in such a way that every element is included in one and only one of the subsets.

New!!: Equivalence relation and Partition of a set · See more »


In mathematics, the notion of permutation relates to the act of arranging all the members of a set into some sequence or order, or if the set is already ordered, rearranging (reordering) its elements, a process called permuting.

New!!: Equivalence relation and Permutation · See more »

Permutation group

In mathematics, a permutation group is a group G whose elements are permutations of a given set M and whose group operation is the composition of permutations in G (which are thought of as bijective functions from the set M to itself).

New!!: Equivalence relation and Permutation group · See more »


In mathematics, especially in order theory, a preorder or quasiorder is a binary relation that is reflexive and transitive.

New!!: Equivalence relation and Preorder · See more »

Projection (set theory)

In set theory, a projection is one of two closely related types of functions or operations, namely.

New!!: Equivalence relation and Projection (set theory) · See more »

Quotient space (topology)

In topology and related areas of mathematics, a quotient space (also called an identification space) is, intuitively speaking, the result of identifying or "gluing together" certain points of a given topological space.

New!!: Equivalence relation and Quotient space (topology) · See more »

Raymond Louis Wilder

Raymond Louis Wilder (3 November 1896 in Palmer, Massachusetts – 7 July 1982 in Santa Barbara, California) was an American mathematician, who specialized in topology and gradually acquired philosophical and anthropological interests.

New!!: Equivalence relation and Raymond Louis Wilder · See more »

Reflexive relation

In mathematics, a binary relation R over a set X is reflexive if every element of X is related to itself.

New!!: Equivalence relation and Reflexive relation · See more »

Robert P. Dilworth

Robert Palmer Dilworth (December 2, 1914 – October 29, 1993) was an American mathematician.

New!!: Equivalence relation and Robert P. Dilworth · See more »

Saunders Mac Lane

Saunders Mac Lane (4 August 1909 – 14 April 2005) was an American mathematician who co-founded category theory with Samuel Eilenberg.

New!!: Equivalence relation and Saunders Mac Lane · See more »

Serial relation

In set theory, a serial relation is a binary relation R for which every element of the domain has a corresponding range element (∀ x ∃ y x R y).

New!!: Equivalence relation and Serial relation · See more »


In mathematics, a setoid (X, ~) is a set (or type) X equipped with an equivalence relation ~. A Setoid may also be called E-set, Bishop set, or extensional set.

New!!: Equivalence relation and Setoid · See more »

Similarity (geometry)

Two geometrical objects are called similar if they both have the same shape, or one has the same shape as the mirror image of the other.

New!!: Equivalence relation and Similarity (geometry) · See more »

Singleton (mathematics)

In mathematics, a singleton, also known as a unit set, is a set with exactly one element.

New!!: Equivalence relation and Singleton (mathematics) · See more »


In group theory, a branch of mathematics, given a group G under a binary operation ∗, a subset H of G is called a subgroup of G if H also forms a group under the operation ∗.

New!!: Equivalence relation and Subgroup · See more »


In mathematics, a set A is a subset of a set B, or equivalently B is a superset of A, if A is "contained" inside B, that is, all elements of A are also elements of B. A and B may coincide.

New!!: Equivalence relation and Subset · See more »

Substitution (algebra)

In algebra, the operation of substitution can be applied in various contexts involving formal objects containing symbols (often called variables or indeterminates); the operation consists of systematically replacing occurrences of some symbol by a given value.

New!!: Equivalence relation and Substitution (algebra) · See more »

Surjective function

In mathematics, a function f from a set X to a set Y is surjective (or onto), or a surjection, if for every element y in the codomain Y of f there is at least one element x in the domain X of f such that f(x).

New!!: Equivalence relation and Surjective function · See more »

Symmetric relation

In mathematics and other areas, a binary relation R over a set X is symmetric if it holds for all a and b in X that a is related to b if and only if b is related to a. In mathematical notation, this is: Symmetry, along with reflexivity and transitivity, are the three defining properties of an equivalence relation.

New!!: Equivalence relation and Symmetric relation · See more »

Thomas Jech

Thomas J. Jech (Tomáš Jech,; born January 29, 1944 in Prague) is a mathematician specializing in set theory who was at Penn State for more than 25 years.

New!!: Equivalence relation and Thomas Jech · See more »

Tolerance relation

In mathematics, a tolerance relation is a relation that is reflexive and symmetric, but not necessarily transitive; a set X that possesses a tolerance relation can be described as a tolerance space.

New!!: Equivalence relation and Tolerance relation · See more »

Topological conjugacy

In mathematics, two functions are said to be topologically conjugate to one another if there exists a homeomorphism that will conjugate the one into the other.

New!!: Equivalence relation and Topological conjugacy · See more »

Topological space

In topology and related branches of mathematics, a topological space may be defined as a set of points, along with a set of neighbourhoods for each point, satisfying a set of axioms relating points and neighbourhoods.

New!!: Equivalence relation and Topological space · See more »


In geometry, a torus (plural tori) is a surface of revolution generated by revolving a circle in three-dimensional space about an axis coplanar with the circle.

New!!: Equivalence relation and Torus · See more »

Total order

In mathematics, a linear order, total order, simple order, or (non-strict) ordering is a binary relation on some set X, which is antisymmetric, transitive, and a connex relation.

New!!: Equivalence relation and Total order · See more »

Transitive relation

In mathematics, a binary relation over a set is transitive if whenever an element is related to an element and is related to an element then is also related to.

New!!: Equivalence relation and Transitive relation · See more »


A triangle is a polygon with three edges and three vertices.

New!!: Equivalence relation and Triangle · See more »

Union (set theory)

In set theory, the union (denoted by ∪) of a collection of sets is the set of all elements in the collection.

New!!: Equivalence relation and Union (set theory) · See more »

Universe (mathematics)

In mathematics, and particularly in set theory, category theory, type theory, and the foundations of mathematics, a universe is a collection that contains all the entities one wishes to consider in a given situation.

New!!: Equivalence relation and Universe (mathematics) · See more »

Up to

In mathematics, the phrase up to appears in discussions about the elements of a set (say S), and the conditions under which subsets of those elements may be considered equivalent.

New!!: Equivalence relation and Up to · See more »

Vacuous truth

In mathematics and logic, a vacuous truth is a statement that asserts that all members of the empty set have a certain property.

New!!: Equivalence relation and Vacuous truth · See more »


In mathematics, an expression is called well-defined or unambiguous if its definition assigns it a unique interpretation or value.

New!!: Equivalence relation and Well-defined · See more »

Redirects here:

Equivalence relations, EquivalenceRelation, Equivalency, Geometric equivalence, Graphing equivalence, Identification (mathematics), , , , .


[1] https://en.wikipedia.org/wiki/Equivalence_relation

Hey! We are on Facebook now! »