In set theory, a branch of mathematics, a set A {\displaystyle A} is called transitive if either of the following equivalent conditions hold: whenever x ∈ A {\displaystyle x\in A}, and y ∈ x {\displaystyle y\in x}, then y ∈ A {\displaystyle y\in A}. Wikipedia