This set is called the minimal model of ZFC.
Αυτό το σύνολο ονομάζεται ελάχιστο μοντελο του ZFC.