PanLinx
日本語
jpn-000
最大下限
English
eng-000
greatest lower bound
PanLex
