Abstract set theory. - Fraenkel Abraham A (1976)