Un orden total "T" es una "extensión lineal" de un orden parcial "P" si, siempre que "xPy", se tiene que "xTy"s.