Compatibility lattice alias over the skew core + absorption. More...

Concept definition

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

Detailed Description

Compatibility lattice alias over the skew core + absorption.

This compatibility alias only requires paired join and meet bands, possibly non-commutative (a semilattice is a commutative band, in :posetal). Strict absorption-based lattice certification is hosted in :posetal (IsOrderLatticeOperations) so order-theoretic laws and references live in the order partition.

Non-commutative variants are captured by IsMereologicalSkewLattice.

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