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