Stage 0 for join-like algebra: closure only. More...

Concept definition

template<typename T, typename Join Sup>
concept dedekind::category::IsMereologicalJoinMagma =  requires(Join join, T a, T b) {
  { join(a, b) } -> std::convertible_to<T>;
}

Detailed Description

Stage 0 for join-like algebra: closure only.

Default witness is Sup, matching the canonical join witness on totally ordered carriers.