Basic Category Theory
《Basic Category Theory》 · 第 25 页 · Definition 1.2.18
A subcategory \(\mathcal S\) of \(\mathcal A\) consists of a subclass of objects and subclasses of each hom-set, containing identities and closed under composition.