PanLinx
русский
rus-000
полное упорядочение
English
eng-000
complete ordering
English
eng-000
complete ranking
English
eng-000
total ordering
English
eng-000
well-ordering
PanLex
