theorem Th48: :: CLASSES1:48

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