קבוצה טרנזיטיבית

הגדרה

קבוצה $X$ נקראית טרנזיטיבית אם לכל $y\in X$ מתקיים ש-$y\subseteq X$.

הערה

תנאי שקול: אם $y\in X$ וגם $z\in y$ אז $z\in X$.

ראה גם

• סודר