John has approved the following wording change, which I've made to the document:
Note that these comparators *are not required to* provide comparison > procedures, as there is no ordering between sets or bags. It is an error to > compare sets or bags with different element comparators. (There is no emphasis in the document.) I've also added an erratum notice at the top. Thank you to Peter, Shiro, and John.
