Keywords – non-Boolean lattice.