Then B is a member of A, and C is a member of B, but C is not a member of A. Now no doubt, you might add, C is a member of the transitive closure of A; but that is a different set; and the fact remains that C is not itself ??? not directly, you might say ??? a member of A. So (TC) is false when containment is understood as set membership.