Conjunto transitivo

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 Bforall x((Bin Aland xin B)Rightarrow xin A)}$

${displaystyle B:={varnothing ,{varnothing },{varnothing ,{varnothing }}}}$

es transitivo.

${displaystyle A_{0}:=varnothing ,quad A_{1}:={varnothing },quad quad A_{2}:={varnothing ,{varnothing }},quad dots ,quad A_{n+1}:=A_{n}cup {A_{n}}}$