PanLinx
русский
rus-000
непустое подмножество
English
eng-000
non-empty subset
English
eng-000
nonempty subset
PanLex