Si, por ejemplo, formula_405 y formula_211, entonces formula_407 es la clase lateral izquierda de formula_40 según el subgrupo formula_223.