Транзитивна множина
З Вікіпедії, безкоштовно encyclopedia
Транзитивна множина — така множина в теорії множин, кожен елемент якої є її підмножиною.
Використовуються для визначення порядкових чисел за фон Нейманом.
Транзитивне замикання множини S — найменша транзитивна множина (по відношенню включення), що містить S.