for X being set holds
( Union <*X*> = X & meet <*X*> = X )