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

Concept definition

template<typename T, typename Meet Inf>
concept dedekind::category::IsMereologicalMeetMagma =  requires(Meet meet, T a, T b) {
  { meet(a, b) } -> std::convertible_to<T>;
}

Detailed Description

Stage 0 for meet-like algebra: closure only.

Default witness is Inf, matching the canonical meet witness on totally ordered carriers.