مجموعه متعدی (نظریه مجموعه ها). در نظریه مجموعهها یک مجموعه A را گذرا (به انگلیسی: transitive) گویند اگر یکی از شرایط معادل زیر را داشته باشد:هرگاه x ∈ A و y ∈ x، آنگاه y ∈ A.هر x ∈ Aو x یک اورلمنت (عنصری که خود از جنس مجموعه نیست) نباشد، آنگاه x یک زیر مجموعه از A باشد.به طور مشابه یک رده M گذرا است اگر هر عنصر از M زیر مجموعه ای از M باشد.با استفاده از تعریف اعداد ترتیبی پیشنهاد شده توسط جان ف...