Band

algebra

BoundedSemilattice

algebra

bimap

Priority

by

Eq Order PartialOrder