transitive

Let $A$ be a set. $A$ is said to be transitive if whenever $x\in A$ then $x\subseteq A$.

Equivalently, $A$ is transitive if whenever $x\in A$ and $y\in x$ then $y\in A$.