have exactly one solution, namely the set-theoretic complement of p. In the case of the lattice of projections there are infinitely many solutions to the above equations (any closed, algebraic complement of p solves it; it need not be the orthocomplement).