In C++11, all the containers, pair, tuple, etc. always have the relation operators defined for them (==, !=, <, >, <=, >=), even if the contained type does not have them; they just fail to compile if one tries to invoke them. It would be better if those operators were SFINAEed out, so that generic code can then detect it and apply alternate strategies.

A use case I've have for this is when holding stateless objects that don't normally have the relation operators defined for them.

Bristol 2013: NAD. The operators have no opportunity for substitution failure.