Điền kí hiệu (tập con, bằng) {4k | k thuộc ℕ} ... {x | x = 2m, m thuộc ℕ}.

Tập hợp {4k | k ∈ ℕ} gồm các số tự nhiên chia hết cho 4, tập hợp {x | x = 2m, m ∈ ℕ} gồm các số tự nhiên chia hết cho 2. Một số tự nhiên chia hết cho 4 thì chia hết cho 2, nhưng một số tự nhiên chia hết cho 2 thì chưa chắc đã chia hết cho 4.

Do đó, {4k | k ∈ ℕ} ⊂ {x | x = 2m, m ∈ ℕ}.