הרכבת פונקציות – הבדלי גרסאות

ובאופן פורמלי: אם <math>\ f</math> פונקציה מ-<math>\ X</math> ל-<math>\ Y</math> ו-<math>\ g</math> פונקציה מ-<math>\ Y</math> ל-<math>\ Z</math>, אז ההרכבה <math>\ g \circ f</math> (בסדר זה, קרי: fg מורכבת על gf) היא הפונקציה מ-<math>\ X</math> ל-<math>\ Z</math> המוגדרת לפי <math>\ (g \circ f)(x) = g(f(x))</math>. ההרכבה מוגדרת בתנאי שה[[תמונה של פונקציה|תמונה]] של הפונקציה הראשונה (<math>\ f</math>) מוכלת או שווה ל[[תחום הגדרה|תחום]] של הפונקציה השנייה (<math>\ g</math>).