Abstract set theory / Abraham A. Fraenkel