El documento habla sobre conjuntos ordenados y subyacentes. Un conjunto ordenado es aquel cuyos elementos tienen una posición definida, como una lista ordenada de elementos. Un conjunto subyacente es el conjunto original antes de aplicarle un orden, es decir, al ignorar la posición de los elementos en una lista ordenada y considerar solo los elementos en sí.