proper subcategory

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