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