1. Другорядна, допоміжна або більш вузька категорія, що входить до складу більш широкої, основної категорії; клас об’єктів у межах більш загального класу.
2. У математиці, зокрема в теорії категорій: категорія, об’єкти та морфізми якої є частиною іншої (більшої) категорії та зберігають її структуру.