theorem Th14: :: YELLOW_1:14

for X being non empty set st union X in X holds
Top (InclPoset X) = union X