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