PanLinx
русский
rus-000
нетривиальная подкатегория
English
eng-000
nontrivial subcategory
PanLex