Arriba hablamos informalmente de dos conjuntos ordenados diferentes: el orden en la conectividad del sistema y el orden en booleanos false ≤ true. Entonces relacionamos estos dos conjuntos ordenados p...Arriba hablamos informalmente de dos conjuntos ordenados diferentes: el orden en la conectividad del sistema y el orden en booleanos false ≤ true. Entonces relacionamos estos dos conjuntos ordenados por medio de la observación de Alice Φ. Antes de continuar, necesitamos hacer esas ideas más precisas. Comenzamos con una revisión de conjuntos y relaciones y damos la definición de un preorder—abreviatura de conjunto preordenado— y un buen número de ejemplos.
