La sobriedad hace el (pre)orden de especialización un orden parcial.