Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures

Figure 4

𝑚𝑐𝑓𝐸𝑆𝑠 of ℰ: ℰ₁ and ℰ₂.