Existence of a Neutral Element in a Partial Universe. More...

Concept definition

template<typename T, typename Op>
concept dedekind::category::HasPartialIdentity =  IsPartialMagma<T, Op> && requires {
  { partial_unit_v<T, Op> } -> std::convertible_to<T>;
}

Detailed Description

Existence of a Neutral Element in a Partial Universe.