What does Abstraktor mean?

Abstraktor - German to English

abstraction operator