greatest lower bound

Dictionnaire