"commutative half-algebra" Deutsche bedeutung