Un orden total, entonces, puede también definirse como un orden parcial que sea "total", i.e.