PanLinx
English
eng-000
the least upper bound
čeština
ces-000
supremum
PanLex