Chaque sous-ensemble C i {\displaystyle C_{i}} doit être « élémentaire », c'est-à-dire qu'il ne doit pas être divisé en d'autres sous-ensembles, car s'ils existaient, ils n'auraient aucune pertinence causale