set-theoretic