PanLinx
русский
rus-000
монотонная миноранта
English
eng-000
monotonic minorant
PanLex