Un "conjunto causal" es un conjunto formula_1 con una relación de orden parcial formula_2 que es: