A textbook-aligned partial binary algebra. More...

Concept definition

template<typename T, typename Op>
concept dedekind::category::IsPartialMagma =  requires(T a, T b) {
  { Op{}(std::make_pair(a, b)) } -> IsPotential;
}

Detailed Description

A textbook-aligned partial binary algebra.

: (T × T) ⇸ T