Normality in elke groep is een gewenste assumptie van: