Definition:Surjection/Technical Note