[25J]If every element of \(A\) is a transitive set then the relation \(x ∈y\) is a transitive relation in \(A\) . (Note that this holds also if \(A\) is not a transitive set.)
[25K]↺↻