C++ seeks reflexive, symmetrical, and transitive relations