PanLinx
русский
rus-000
монотонное квазиупорядочение
English
eng-000
monotone quasiordering
PanLex
