for A, B being non empty preBoolean set holds
( not A /\ B is empty & A /\ B is preBoolean )