Image of Subset is Subset of Image