Verwandtschaft und Abgrenzung zwischen Halbgruppen, Monoiden und Gruppen