dedekind::order::HasProperSubset Concept Reference

HasSubset plus a bool ==, so \(A \subsetneq B \equiv A \subseteq B \wedge A \neq B\) is expressible. More...

Concept definition

template<typename A, typename B>
concept dedekind::order::HasProperSubset =  HasSubset<A, B> && requires(const A& a, const B& b) {
  { a == b } -> std::convertible_to<bool>;
}

Detailed Description

HasSubset plus a bool ==, so \(A \subsetneq B \equiv A \subseteq B \wedge A \neq B\) is expressible.