האם עליי לקחת איבר שנמצא בחיתוך של B ולהוכיח שהוא נמצא בT? ואם כן, איך מוגדרת הקבוצה חיתוך B? על ידי החיתוך של כל הקבוצות הטרנזיטיביות על A? ז"א שיש T1, T2 וכו...?
תודה מראש :)
:*<math>\bigcap B </math> הוא חיתוך כל היחסים הטרנזיטיביים על A '''שמכילים את R'''.
:בקשר להכלה, ניתן לעשות את זה בדרך של לקחת איבר באגף אחד ולהראות שהוא באגף אחר, אבל מעצם הגדרת <math>\bigcap B </math> אפשר להוכיח את
:זה גם בדרך קלה וישירה יותר. בכל מקרה שתי הדרכים יתקבלו.
:[[משתמש:לידור.א.|-לידור.א.-]] ([[שיחת משתמש:לידור.א.|שיחה]])