for A, B being set
for C being epsilon-transitive set st A in B & B in C holds
A in C