Epimorphismen, Domänen und H-kommutative Halbgruppen