Description: For any category C , the empty set is a subcategory subset of C . (Contributed by AV, 23-Apr-2020)