improper subcategory

Мат. несобственная подкатегория