PanLinx
русский
rus-000
частичное разупорядочение
English
eng-000
partial disorder
PanLex