Dados dos preordenes de recursos X e Y, el preorden X × Y representa el conjunto de todos los pares de recursos, ∈x X e y ∈Y, con (x, y) ≤ (x ′, y ′) iff x ≤ x ′ e y ≤ y ′. Es decir, si x ...Dados dos preordenes de recursos X e Y, el preorden X × Y representa el conjunto de todos los pares de recursos, ∈x X e y ∈Y, con (x, y) ≤ (x ′, y ′) iff x ≤ x ′ e y ≤ y ′. Es decir, si x está disponible dado x ′ e y está disponible dado y ′, entonces (x, y) está disponible dado (x ′, y ′). X (x, z) = X (x, z) I ≤ X (x, z) X (z, z) ≤⋁y∈X X (x, y) X (y, z),
