for X being set holds BooleLatt X is \/-distributive