Definition:Class (Zermelo-Fraenkel)