Definition
A
snapshot equivalence class
is a set of relation instances that are all snapshot equivalent to each other.