theorem :: CLASSES1:50

for X, Y being set st X is epsilon-transitive & Y is epsilon-transitive holds
X /\ Y is epsilon-transitive