for X being set st X is epsilon-transitive holds
union X c= X