"augmented set" Deutsche bedeutung