EDB — 24Z

[24Z] Un insieme \(A\) si dice transitivo se valgono queste condizione equivalenti:

• \[ ∀ x, x ∈ A ⇒ x⊆ A\quad , \]

  cioè ogni elemento di \(A\) è anche un sottoinsieme di \(A\);

• \[ ∀ x,y, x ∈y ∧ y∈ A ⇒ x∈ A\quad . \]