Si, por ejemplo, formula_86 y formula_87, entonces formula_88 es la clase lateral izquierda de formula_4 según el subgrupo formula_85.