theorem Th2: :: SETFAM_1:2

for X being set holds meet X c= union X