PanLinx
русский
rus-000
предупорядочение по делимости
English
eng-000
divisibility preordering
PanLex