Sia∈G, entonces las clases de equivalencia “izquierda” y “derecha” que contienena están dadas por[a]∼L={g∈G∣a∼Lg} y[a]∼R={g∈G∣a∼Rg}. El sig...Sia∈G, entonces las clases de equivalencia “izquierda” y “derecha” que contienena están dadas por[a]∼L={g∈G∣a∼Lg} y[a]∼R={g∈G∣a∼Rg}. El siguiente teorema nos dice que las clases de equivalencia determinadas por∼L y∼R son de hecho la izquierda y la derecha coconjuntos deH≤G, respectivamente.