Pseudocomplemented lattice