Cut

A cut is a subset in the global history up to a specific event in each history.

Consistent cuts

For each event e in the cut:

• if f happened before e then
• f is also in the cut.