Tools.h++ 7.0 User's Guide

first rule of a total ordering relation.[16]