PanLinx
English
eng-000
the greatest lower bound
čeština
ces-000
infimum
PanLex