least upper bound

Dictionnaire