PanLinx
русский
rus-000
квазиупорядоченный модуль
English
eng-000
quasiordered module
PanLex