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.