Axiom of Zermelo–Fraenkel set theory asserting that set equality is determined by the membership relation