Property:Has subobject

From Calculus