Def/Totally ordered 1