הקבוצה הנגזרת – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
משפט קנטור בנדיקסון + כמה פרטים. |
|||
שורה 17:
# <math>\empty^' = \empty</math>
# <math>S^{''} \subseteq S^'</math>
# לכל <math>a \in S
# <math>(S \cup T)^' \subseteq S^' \cup T^'</math>
# אם <math>S \subseteq T</math>
זאת כי קבוצה U היא פתוחה אם ורק אם היא זרה לקבוצה הנגזרת של משלימתה, <math>\ (U^{\complement})'</math>.
|