A partição π {\displaystyle \pi } , para que seja definida como uma partição de relevância causal, deve ter essas propriedades
