"complemented lattice"@en . . .