Un conjunto transitivo es un conjunto tal que cualquiera de sus elementos también es un subconjunto del propio conjunto.
Formalmente A es un conjunto transitivo si tiene la siguiente propiedad:
{\displaystyle \forall B\forall x((x\in B\land B\in A)\Rightarrow x\in A)}
n + 1
n