La partition π {\displaystyle \pi } , pour qu'elle soit définie comme une partition de pertinence causale, doit avoir ces propriétés
