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