theorem Th6: :: MSUALG_8:6

for Y being set
for X being Subset of (EqRelLatt Y) holds union X is Relation of Y