"complete semigroup" Deutsche bedeutung