הוא להסתכל על קבוצת כל הביטויים מהצורה <math>s+tx</math> כאשר הכפל (הפעולה) ביניהם מוגדר כפי שהוא מוגדר בשאלה (מיכאל פרידמן).
== תרגיל 2 שאלה 6 5 ==
כדי להוכיח שהקבוצה היא מונואיד (מלבד סגירות ואבר יחידה) מספיק לומר שהרכבת טרספו' לינאריות היא אסוציאטיבית או שצריך ממש להוכיח את זה? (איך מוכיחים דבר כזה?!)