Definition of "ZFC"