theorem Th32: :: TOPGEN_4:32

for F, G being set holds meet (UNION (F,G)) c= (meet F) \/ (meet G)