Template:cpp/utility/compare/dsc partial order