. . . "the set of n processes and E is a set of 2-tuples and/or 3-tuples of processes" .