Template:cpp/concepts/dsc equivalence relation