PanLinx
русский
rus-000
покрывающее сравнение
English
eng-000
covering congruence
PanLex