10^3 nu apartine {x |x se divide cu 10} Fals
10^3 = 1 000 și numărul 1000 se divide cu 10
--------------------------------------------------------------
543 apartine {x|x este divizibil cu 5} Fals
543 nu se termina cu 0 sau 5, deci nu este divizibil cu 5