= Solution A set $x$ is transitive when $y\in z\in x$ implies $y\in x$, equivalently $\bigcup x\subset x$.
Back to article page
