greatest lower bound

Wörterbuch