Definition:Surjective Mapping