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