
theorem lemma3:
  the carrier of BooleLatt {{}} = {{},{{}}}
  proof
    the carrier of BooleLatt {{}} = bool {{}} by LATTICE3:def 1;
    hence thesis by ZFMISC_1:24;
  end;
