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≈ sobreS construido en (10),x≈y si y solo six⪯Sy y si y soloy⪯Sx si y sif(x)⪯Tf(y) y solo\(...Para la relación de equivalencia≈ sobreS construido en (10),x≈y si y solo six⪯Sy y si y soloy⪯Sx si y sif(x)⪯Tf(y) y solof(y)⪯Tf(x) si y solo sif(x)=f(y), ya que⪯T es antisimétrico.