the carrier of (BooleLatt {{}}) = bool {{}} by LATTICE3:def 1;
hence the carrier of (BooleLatt {{}}) = {{},{{}}} by ZFMISC_1:24; :: thesis: verum