שינויים

אם ברצונך להראות כי <math>f: A \rightarrow B</math> הינה פונקציית על,

אתה צריך להראות כי לכל איבר <math>b \in B</math> יש מקור <math>a \in A</math>.

למשל אם <math>f: \mathbb{Z} \rightarrow \mathbb{Z}</math> כך ש<math>f(z)=z+1</math>,

אזי לכל <math>b \in \mathbb{b}</math> יש מקור <math>b-1</math>. [[משתמש:Adam Chapman|Adam Chapman]] 18:54, 3 באוגוסט 2010 (IDT)