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