En mathématiques, un ensemble totalement ordonné est un ensemble ordonné dans lequel deux éléments quelconques sont toujours comparables.