La partizione π {\displaystyle \pi } , affinché possa essere definita di partizione della rilevanza causale deve possedere tali proprietà: