axiom QP2 states:

forall B in A (the algebra) B=>empty set