Bài tập 1, § 6

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

Lý thuyết tập hợp, III, 241

Một tập hợp E là vô hạn khi và chỉ khi với mỗi ánh xạ $f$ của E vào E, tồn tại một tập con không rỗng S của E sao cho $S \neq E$ và $f(S) \subset S$ .