Definición, lógica de construcción y orden de un grupo cociente