PanLinx
русский
rus-000
мажорируемое множество
English
eng-000
majorized set
PanLex