for X being set holds BooleLatt X is complete