Snapshot-Equivalence Preserving Operator
Subsections
Definition
Alternative Names
Discussion