"abstraction operator" Deutsche bedeutung