Insieme transitivo

In matematica, e in particolare in teoria degli insiemi, un insieme ${\displaystyle A}$ si dice transitivo se vale una delle seguenti condizioni equivalenti:

• se ${\displaystyle x\in A}$ e ${\displaystyle y\in x}$, allora ${\displaystyle y\in A}$ .
• se ${\displaystyle x\in A}$ e ${\displaystyle x}$ non è un Ur-elemento, allora ${\displaystyle x}$ è un sottoinsieme di ${\displaystyle A}$ .

Allo stesso modo, una classe ${\displaystyle M}$ è detta transitiva se ogni elemento di ${\displaystyle M}$ è un sottoinsieme di ${\displaystyle M}$ .