G/N := {gN : g ∈ G} with (gN)(hN) = (gh)N. Well-defined iff N is normal; universal among homomorphisms from G killing N.