bilattice
Jump to navigation
Jump to search
English
[edit]Etymology
[edit]Noun
[edit]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.
- 2015, Janko Bračič, Lina Oliveira, “A characterization of reflexive spaces of operators”, in arXiv[1]:
- We show that for a linear space of operators the following assertions are equivalent. (i) is reflexive in the sense of Loginov--Shulman. (ii) There exists an order-preserving map on a bilattice of subspaces determined by , with and , for any pair , and such that an operator lies in if and only if for all .