La partición π {\displaystyle \pi } , para que se defina como una partición de relevancia causal, debe tener estas propiedades