PanLinx
English
eng-000
nonvacuous intersection
русский
rus-000
непустое пересечение
PanLex