[Keehlzver]

ใช้นิยามของฟังก์ชัน onto ครับ $f:A \rightarrow B$ onto ก็ต่อเมื่อทุก $y \in B$ จะมี $x \in A$ ที่ทำให้ $y=f(x)$ ดังนั้นเลือก $x=...$ จะได้ $y=f(x)$ ก็สรุปได้ว่า $y$ เป็นฟังก์ชันทั่วถึง