Bilattice

From testwiki
Jump to navigation Jump to search

English

Etymology

From Template:Prefix.

Noun

Template:En-noun

  1. 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.