קיבוציות ההרכבה

תהיינה f : -A -:, :, -BgBChC D יש שתי דרכים שבהן אפשר להרכיב את הפונקציות האלה לשם קבלת פונקציה מ- A ל- . D א . להרכיב את g על , f ועל התוצאה , שהיא , g  f : A - C להרכיב את . h : C - D הפונקציה המתקבלת בדרך זו תסומן ( . h ( gf התאור הסכמטי שלפניכם ממחיש את שני שלבי הבניה של ( h ( gf ומראה ש- h )( : gfA - D הדרך האחרת היא : ב . להרכיב קודם את h על , g ואת התוצאה , שהיא , h  : gB - D להרכיב על . f : A - B הפונקציה המתקבלת בדרך זו תסומן . ( h  g ) f התאור הסכמטי שלפניכם ממחיש את שני שלבי הבניה של h  g ) f ) ומראה ש- h  g ) f : A - D ) המשפט הבא קובע , ששתי הדרכים מובילות לאותה תוצאה . 1 ראו בעמוד . 88 2 ראו בעמוד . 87  אל הספר