Esto implica que el producto de las dos biyecciones es independiente del orden del producto.