Distributive lattice refinement over IsOrderLatticeOperations. More...

Concept definition

template<typename T, typename Join Sup, typename Meet Inf>
concept dedekind::category::IsOrderDistributiveLatticeOperations = 
    IsOrderLatticeOperations<T, Join, Meet> && IsDistributive<T, Join, Meet> &&
    IsDistributive<T, Meet, Join>

Detailed Description

Distributive lattice refinement over IsOrderLatticeOperations.

See also: https://en.wikipedia.org/wiki/Distributive_lattice