Bilattice
English
Etymology
From Template:Prefix.
Noun
- Template:Lb A structure B = (S,⊑1 ,⊑2) in which S is a non-empty set, and ⊑1 and ⊑2 are partial orderings each giving S the structure of a lattice, determining thus for each of the two lattices the corresponding operations of meet and join.