Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures

Figure 7

Subfamily of configurations of the slice.