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.
Para la relación de equivalencia\( \approx \) sobre\( S \) construido en (10),\( x \approx y \) si y solo si\( x \preceq_S y \) y si y solo\( y \preceq_S x \) si y si\( f(x) \preceq_T f(y) \) y solo\(...Para la relación de equivalencia\( \approx \) sobre\( S \) construido en (10),\( x \approx y \) si y solo si\( x \preceq_S y \) y si y solo\( y \preceq_S x \) si y si\( f(x) \preceq_T f(y) \) y solo\( f(y) \preceq_T f(x) \) si y solo si\( f(x) = f(y) \), ya que\( \preceq_T \) es antisimétrico.