Bài tập 5, § 1

Nhãn 03HE, cố định. Trích dẫn là [Bourbaki, Tag 03HE].

Lý thuyết tập hợp, II, 123

Chứng minh rằng $\emptyset = \tau_X(\tau_x(x \in X) \notin X)$ .