dedekind::category::IsMereologicalDistributiveLatticeOperations Concept Reference

Mature distributive stage: lattice operations with mutual distribution. More...

Concept definition

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

Detailed Description

Mature distributive stage: lattice operations with mutual distribution.