Snapshot Equivalence Class/
Weak Relation
Subsections
Definition
Discussion of Naming