תודה מראש
'''לגבי החלק הראשון של השאלה (הוכח / הוכח פורמלית / הוכח ע"פ הגדרה) זה מאוד תלוי בהקשר של השאלה, למשל בתורת הקבוצות "הוכח פורמלית" אומר הוכח לפי הגדרה או לפי זהויות ולא בטבלת אמת, בקומבינטוריקה יכולים לבקש שתוכיח זהות באופן אלגברי או באמצעות בעיות קומבינטוריות שהביטויים מתארים. באופן כללי "הוכח" תמיד אומר "הוכח פורמלית", בד"כ מציינים "פורמלית" כשיש נטיה לסטודנטים להשתמש בכלים אחרים כמו דיאגרמות וטבלאות.
'''לא זכור לי שראיתי דרישה להוכיח "ע"פ הגדרה", אם מצאת משהו כזה תשלח לי.
'''לגבי החלק השני- השאלה היא אם יש לך מספיק זהויות שהוכחת בתורת הקבוצות ע"מ להוכיח את הנדרש מתוך זהויות אלו בלבד? אם לא אז יש לך צורך לקחת צעד אחורה, ולהוכיח ע"י ההגדרות שלהם בתורה קודמת, במקרה של קבוצות-לוגיקה (במקרה של עוצמות ע"י פונקציות, במקרה של פונקציות ע"י יחסים, במקרה של יחסים ע"י מכפלה קרטזית, במקרה של מכפלה קרטזית ע"י קבוצות וכאמור במקרה של קבוצות ע"י לוגיקה...).
'''עדי
== מכפלה קרטזית בין קבוצות ==