When these elements are so distinct that they show only individual behaviour, partial symmetries, as presented in this sequence, must be used to reduce the Symbolic Reachability Graph. These notions are roughly defined in this section.