Komplementäre Halbgruppen. Axiomatik und Arithmetik