Image of Subset under Relation is Subset of Image/Corollary 3