Es decir tal que no haya un subgrupo normal "H" distinto de "N" y "G", que contenga a "N".