El orden parcial utilizado es "S" < "T" si "S" tiene menos nodos que "T".