Una relación en un conjunto S es un subconjunto R de S x S. En otras palabras, una relación R consiste en un conjunto de pares ordenados de la forma (a, b) donde a y b están en S. Una partición de un ...Una relación en un conjunto S es un subconjunto R de S x S. En otras palabras, una relación R consiste en un conjunto de pares ordenados de la forma (a, b) donde a y b están en S. Una partición de un conjunto, consiste en una colección de subconjuntos no vacíos de A que son mutuamente disjuntos y tienen unión igual a A. Una relación de equivalencia en a set A sirve para particionar A por las clases de equivalencia.