Es fácil demostrar que los estados sobre los conjuntos abiertos forman una estructura de prehaz.