→ "Y"（"Y"在"S"内）也会属于"S"。一个同构封闭完全子范畴被称之为是严格完全的。一个"C"的子范畴是宽的，若其包括所有"C"的物件。一个宽子范畴基本上不会是完全的：一个范畴唯一的完全宽子范畴即是此一范畴本身。一个塞尔子范畴是指一个阿贝尔范畴"C"的一非空完全子范畴"S"，其中对所有在"C"内的所有短正合序列"M"会属于"S"，若且唯若formula_3和formula_4也属于"S"。