theorem Th9: :: MSUALG_8:9

for Y being set
for X being Subset of (EqRelLatt Y)
for R being Relation st R = union X holds
R = R ~