2005-05-31 定義:[厳密な]全順序([Strict] Total Order) C++ STL 数学 集合上の2項関係が全順序であるとは,以下の条件を満たすことである. 非対称性 - 推移性 - 3分律(Trichotomy) - は以下の3つのうちのいずれかを満たす. (注:非反射性は非対称性からただちに得られる)