Total Order Definition