Noun
bilattice (plural bilattices)
(mathematics, computing) 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.