theorem lemma3: :: LATTICEA:5
the carrier of (BooleLatt {{}}) = {{},{{}}}