Category Archives: reflexivity

C++, STL, and Order Theory

I was going over the C++ STL, when I noticed the ubiquity of “strict weak ordering” for predicates (used in sort etc.) I decided to dive into this a bit more, since I did not exactly understand what “strict” and … Continue reading

Posted in anti-symmetry, asymmetry, C++, equivalence, partial order, reflexivity, STL, strict, Strict weak order, symmetry, total order, total preorder, transitivity, weak, weak order | Leave a comment