Giả sử A là tập con của tập hợp các số nguyên dương sao cho: I    k∈A;IIn∈A⇒n+1∈A,∀n≥k Lúc đó ta có

Chọn C

(I)k∈A: số nguyên dương k thuộc tập A.

(II)n∈A⇒n+1∈A,∀n≥k: nếu số nguyên dương n   n≥k thuộc tập A thì số nguyên dương đứng ngay sau nó (n+1) cũng thuộc A. Mọi số nguyên dương lớn hơn hoặc bằng k đều thuộc A.