surjective function horizontal line test