Surjection by Restriction of Codomain