Eine Relation ist eine Halbordnung, wenn sie

- reflexiv (siehe reflexive Relation),
- antisymmetrisch (siehe antisymmetrische Relation) und
- transitiv (siehe transitive Relation)

ist.