Prove that $A$ is a transitive set iff the following holds:$B \in C$ and $C \in A$ then $B \in A$

Following problem is from Pinter’s book of set theory

Prove that $A$ is a transitive set iff the following holds:

if $B\in C$ and $C\in A$,then $B\in A$

$6.5$ Definition A set $A$ is called transitive if, for each $x \in A$, $x\subseteq A$.

Are $B$ and $C$ transitive sets?

If $A^+=A\cup$ {A} could I say $B= A^+$ lexicographically speaking?

Attempted proof

If $A$ is transitive then $x \in A$, $x \subseteq A$. after this I am stuck Suppose that 𝑎


You should be able to get a little further than that. For that direction the most obvious starting point is something like this:

Suppose that $a$ is transitive and that $b\in c\in a$; we want to show that $b\in a$. Since $a$ is transitive and $c\in a$, we know that $c\subseteq a$.

That much should be more or less automatic, and at that point it’s easy to use the hypothesis that $b\in c$ to get the desired conclusion.

And for the other direction:

Suppose that $b\in a$ whenever $b\in c\in a$; we want to show that $a$ is transitive, i.e., that if $c\in a$, then $c\subseteq a$.

Now how can one show that $c$ is a subset of $a$? One of the most straightforward approaches is to show that every member of $c$ is also a member of $a$, and the hypothesis here makes that very easy.