Zermelo–Fraenkel set theory
In mathematical set theory, the Sacks property holds between two models of Zermelo–Fraenkel set theory if they are not "too dissimilar" in the following sense.