cpp/experimental/ranges/concepts/DerivedFrom

The concept is satisfied if and only if  is a class type that is either  or a public and unambiguous base of.

Despite the use of std and std in its description above, is not required to use it in its implementation. Thus, there need not be any subsumption relationship between and  or.