שאלה 1 -א. האם ניתן להיעזר בטענות מבדידה? או יש דרך אחרת?
שאלה2- א. האם בסגירות ואסוציאטיביות אפשר להגיד שבגלל ש-Q ו K חבורות אז אנחנו מקבלים את התכונות בתורשה?
::לגבי 1 א התשובה חיובית. אפשר פשוט לציין מהן הטענות שהוכחתם בבדידה מבלי להוכיח אותן כאן.
לגבי 2 א- התשובה שלילית. תורשה זו מילה שמאפיינת תכונה שעוברת ממבנה לתת מבנה לעיתים יש להוכיח אותה ולעיתים היא מתקבלת מיידית. למשל במעבר מחבורה לתת חבורה. זה לא המצב כאן. גם את הסגירות וגם את האסוציאיטיבות יש להוכיח. הסגירות די קלה ומהירה והאסוציאטיביות מייגעת. --[[משתמש:מני ש.|מני]] 14:24, 1 בינואר 2013 (IST)