for X being set holds meet X c= union X