Instruction Manual

first rule of a total ordering relation.[16]