אם נתונה <math>t:B\rightarrow{A}</math> על, ו-<math>h:B\rightarrow{C}</math> פונקציה- האם זה בהכרח אומר שקיימת <math>g:A\rightarrow{C}</math> כך ש- <math>g\circ{t}=h</math>? אם כן, האם היא יחידה? (בכל עבור קבוצות אין סופיות) --[[משתמש:Edi.gotlieb|Edi.gotlieb]] 21:59, 17 באוגוסט 2010 (IDT)
עוד שאלה שגם קשורה-האם- אם <math>A\circ{C}=B\circ{C}</math> ו- <math>C</math> חח"ע, אזי: <math>A=B</math>? (אני כמעט בטוח שזה נכון אם <math>C</math> על אבל מה אם חח"ע?)
'''תשובה'''
* - <math>g\circ{t}</math> לא מוגדרת. תבדוק מהם תחום ותמונה של הפונקציות שהגדרת.
* - לא קיימת פעולה כזו - הרכבת קבוצות.
(גרישה אושרוביץ')
==קבוצה סופית או בת מניה==