Keywords – non-Boolean lattice