Ta có: U = {x ∈ ℕ | x chia hết cho 3}

Khi đó ta thấy U là tập hợp các số tự nhiên x, sao cho x chia hết cho 3.

Vì x chia hết cho 3 nên các số chia hết cho 3 trong các số đã cho là: 3; 6; 0

Do đó: 3 ∈ U; 5 ∉ U; 6 ∈ U; 0 ∈ U; 7 ∉ U.