שינויים
/* הרכבת פונקציות */
*אם <math>g \circ f</math> על אזי <math>g</math> על.
*מסקנה: אם <math>g \circ f</math> חח"ע ועל אזי <math>f</math> חח"ע ו-<math>g</math> על.
'''תכונות:'''
# הרכבה היא קיבוצית. כלומר <math>f_3 \circ (f_2 \circ f_1) = (f_3 \circ f_2) \circ f_1 </math>.
# הרכבה '''אינה''' (בהכרח) חילופית כלומר לא מתקיים בהכרח כי <math>f_2 \circ f_1 = f_2 \circ f_1 </math>. למשל לפונקציות מעל הטבעיים <math>f(x) =x^2 , g(x) = x+1</math> אזי <math>f(g(2))=f(3)=9, g(f(2))=g(4)=5</math> ולכן <math>f\circ g \neq g \circ f</math>.
===פונקציות הפיכות===
