La topología del orden sobre un orden total es completamente normal.