תודה רבה!
::אין צורך בהגדרה מיוחדת למשלים ב-A. ההגדרה למשלים היא תמיד אותה הגדרה, איברים שנמצאים בקבוצה (שלמעלה) ולא בתת קבוצה. במקרה זה נמצאים ב<math>A</math> ולא ב<math>U\cap A</math>. אם תצייר לעצמך דיאגרמת ון למשל אני בטוח שתוכל לראות את הטענה של המרצה (מתורת הקבוצות) ואח"כ להוכיח אותה פורמלית. למרות שלצורך התרגיל אפשר להשתמש בטענה הזו ללא הוכחה. --[[משתמש:מני ש.|מני]] 20:52, 20 באפריל 2013 (IDT)
== תרגיל 6 שאלה 6 סעיף 4 ==
נניח <math> f:X \to Y </math> הומיאומורפיזם.
האם מותר לי להשתמש בעובדה שאם <math> f(A)=B </math> עבור: <math> A \subset X , B \subset Y </math>
אז <math>A \cong B</math>
או שיש צורך בלהוכיח טענה זו?