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