reserve X for set,
  x,y,z for Element of BooleLatt X,
  s for set;

theorem Th1:
  x "\/" y = x \/ y & x "/\" y = x /\ y;
