در نظریه مجموعهها یک مجموعهA را گذرا (به انگلیسی: transitive) گویند اگر یکی از شرایط معادل زیر را داشته باشد:
هرگاه x ∈ A و y ∈ x، آنگاه y ∈ A.
هر x ∈ Aو x یک اورلمنت (عنصری که خود از جنس مجموعه نیست) نباشد، آنگاه x یک زیر مجموعه از A باشد.
بهطور مشابه یک ردهM گذرا است اگر هر عنصر از M زیر مجموعهای از M باشد.
مثال
با استفاده از تعریف اعداد ترتیبی پیشنهاد شده توسط جان فون نویمان، اعداد ترتیبی به عنوان مجموعههای موروثاَ گذرا تعریف میشوند: یک عدد ترتیبی یک مجموعه گذرا ست که اعضایش هم گذرا (و در نتیجه عدد ترتیبی) هستند. رده از همه اعداد ترتیبی یک کلاس گذرا است.
هر یک از مراحل Vα و Lα که منجر به ساخت جهان فون نویمانV و جهان ساختنی گودلL منجر میشوند، مجموعههای گذرا هستند. جهانهای L و V خودشان کلاسهای گذرایند.
این یک فهرست کامل از تمام مجموعههای گذرا تا ۲۰ براکت است:[۱]
خواص
یک مجموعه X گذرا است اگر و تنها اگر که در آن اجتماع از تمام عناصر از X است که مجموعه اند، . اگر X گذرا باشد، در آنصورت گذرا است. اگر X و Yگذرا باشند، در آنصورت X∪Y∪{X∪Y} گذرا است. در کل اگر X ردهای باشد که همه عناصرش گذرایند، در آنصورت، گذرا است.
یک مجموعه X که شامل اورلمنتها نمیشود، گذرا است اگر و تنها اگر زیر مجموعهای از مجموعه توانی اش، شود. مجموعه توانی یک مجموعه گذرا فاقد اولمنت، گذرا است.
بستار گذرا
بستار گذرا از یک مجموعه X،کوچکترین (نسبت به شمول) مجموعه گذرا شامل X است. فرض کنید مجموعه X داده شده باشد. در آنصورت بستار گذرا X برابر است با:
توجه داشته باشید که این، مجموعه تمام اشیاء مرتبط با X از طریق بستار تعدی رابطه عضویت است.
مدلهای گذرا نظریه مجموعهها
کلاسهای گذرا اغلب جهت ساخت تفاسیر برای خود نظریه مجموعهها مورد استفاده قرار میگیرد، که معمولاً مدلهای درونی گفته میشوند. دلیلش این است که خواص تعریف شده فرمولهای محدود، برای کلاسهای متعدی، مطلق هستند.
یک مجموعه (یا کلاس) گذرا که مدلی از یک سیستم صوری از نظریه مجموعه هاست، مدل گذرا از آن سیستم نام دارد. گذرایی یک عامل مهم در تعیین مطلق بودن فرمول هاست.
Ciesielski, Krzysztof (1997), Set theory for the working mathematician, London Mathematical Society Student Texts, vol. 39, Cambridge: Cambridge University Press, ISBN0-521-59441-3, Zbl0938.03067{{citation}}: More than one of |ISBN= و |isbn= specified (help)More than one of |ISBN= and |isbn= specified (help)
Goldblatt, Robert (1998), Lectures on the hyperreals. An introduction to nonstandard analysis, Graduate Texts in Mathematics, vol. 188, New York, NY: Springer-Verlag, ISBN0-387-98464-X, Zbl0911.03032{{citation}}: More than one of |ISBN= و |isbn= specified (help)More than one of |ISBN= and |isbn= specified (help)
Jech, Thomas (2008) [originally published in 1973], The Axiom of Choice, Dover Publications, ISBN0-486-46624-8, Zbl0259.02051{{citation}}: More than one of |ISBN= و |isbn= specified (help); More than one of |authorlink= و |author-link= specified (help)More than one of |authorlink=, |authorlink=, and |author-link= specified (help); More than one of |ISBN= and |isbn= specified