A Partial Monoid with local invertibility on support. More...

Concept definition

template<typename T, typename Op>
concept dedekind::category::IsPartialLoop =  IsPartialMonoid<T, Op> &&
                        requires { requires is_kleene_invertible_v<T, Op>; }

Detailed Description

A Partial Monoid with local invertibility on support.