theorem :: YELLOW_1:21

for X being set
for Y being Subset of (BoolePoset X) holds sup Y = union Y