Eine Relation ist eine strenge Totalordnung, wenn sie

- trichotomisch (siehe trichotomische Relation) und
- transitiv (siehe transitive Relation)

ist.