PanLinx
русский
rus-000
счётная субаддтивность
English
eng-000
countable subadditivity
PanLex