Dacă înțeleg bine, cerințele sunt să se stabilescă valoare de adevăr ale următoarelor afirmații:
a) 4² ∈ {x | x = 2³} - Fals deoarece 4² = 16 ≠ 2³ = 8.
b) 10³ ∉ {x | x se divide cu 10} - Fals deoarece 10³ = 1000 care se divide cu 10.
c) 543 ∈ {x | x este divizibil cu 5} - Fals deoarece un număr divizibil cu 5 are ultima cifră 0 sau 5. 543 are ca ultimă cifră 3.