'''הגדרה:'''
יחס חד ערכי נקרא '''פונקציה'''; נסמן במקרה זה <math>(a,b)\in R\leftrightarrow b=R(a)</math>.(נהוג להניח כי מסתכלים על הפונקציה מהתחום שלה אל קבוצה כלשהי, זה נקרא תחום הגדרה.)
'''דוגמאות:'''
*<math>f:\mathbb{Z}_2\rightarrow\mathbb{Z}_3</math> כאשר לוקחים את 0 ל0 ואת 1 ל1. זו פונקציה חח"ע שאינה על. (כל פונקציה היא על לתמונה של עצמה.)
*<math>D:\mathbb{R}\rightarrow\mathbb{R}</math> פונקצית דיריכליי: על כל מספר רציונאלי מקבלת 1 ועל כל מספר אי רציונאלי מקבלת אפס.
'''תרגיל.'''
יהיו A וB קבוצות סופיות בעלות עוצמה זהה. הוכח שכל פונקציה מA לB הינה על אם"ם היא חח"ע
'''הוכחה.'''
נניח שהפונקציה חח"ע. נזכר שפונקציה הינה יחס, ונספור את הזוגות הסדורים שהיא מכילה; מכיוון שהתחום של הפונקציה הוא A מספר הזוגות הוא בדיוק מספר האיברים בA (מתוך חד ערכיות והעובדה שזה תחום). לכל איבר בA קיים זוג יחיד בפונקציה. אם היה זוג שהיה מקבל את אותו איבר בB זו הייתה סתירה לח"ע ולכן מספר האיברים מB שמופיעים בזוגות הוא כמספר האיברים בA. מכיוון שעוצמת הקבוצות זהה, כל האיברים מB מופיעים בזוג ולכן הפונקציה על.
נניח שהפונקציה על. אם היא לא הייתה חח"ע היה איבר בB שחוזר על עצמו בזוגות לעיל ולכן מספר האיברים המופיע בB היה לכל היותר מספר האיברים בA פחות אחד בסתירה.