=שאלות=
==תרגילים 3 ו4==
בשאלה 3 א' ו-ב' צ"ל שאם האיחוד של כל הAi-ים שווה לA אז R רפלקסיבי (וב-ב' ההפך)? אבל העובדה שהאיחוד של כל הAi-ים שווה לA כבר נתונה בתחילת השאלה!
בשאלה 4, למשל בסעיף א', צריך להוכיח שאם R מוכל ב-V (שנתון שR שווה לV, מה ההגיון?) וS מוכל ב-W (שגם הם שווים) אז S הרכבה R מוכל ב W הרכבה V (שידוע לנו בכל מקרה שהם שווים?!).
===תשובה===
אני לא מתרגל של בדידה לכן אני לא אשיב על המתמטיקה. אני כן אומר שהשפה הזו בלתי מקובלת לחלוטין. זה לא שוק, זו אוניברסיטה וההתבטאויות שלכם צריכות להיות בהתאם. --[[משתמש:ארז שיינר|ארז שיינר]] 15:05, 29 ביולי 2010 (IDT)
אני רואה שאני כן יכול להשיב על המתמטיקה:
*לא נתון בשאלה 3 שהאיחוד של תתי הקבוצות שווה לA, רק נתון שהן תתי קבוצות (יכולים להיות כולם שווים לקבוצה הריקה למשל)
*איפה נתון שR שווה לV או S שווה לW? אני לא רואה את הנתון הזה. 'מוכל שווה' זה לא אותו דבר כמו 'שווה'.
:נתון שR שווה לV, כי כתוב בתחילת השאלה ששניהם שווים ל AxB, וככה גם עם S וW.
::אני מסתכל על התרגיל ורואה את הסימן <math>R\subseteq A\times B</math> '''ולא''' רואה את הסימן <math>R= A\times B</math>
===הערה===
אני בכל זאת חושב שיש טעות בשאלה 3 ג. מבקשים להוכיח ריפלקסיביות כתוצאה של זרות אבל ריפלקסיביות נובע מהאיחוד וטרנסטיביות היא שנובעת מחיתוך ריק של כל הקבוצות. [אדי גוטליב]
