체르멜로-프렝켈 집합론
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.