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