Image of Domain is Subset of Codomain