O mulţime A va fi dată, fie prin enumerarea elementelor sale:
A = {a, b, ..., x, ...}, fie prin indicarea unei proprietăţi P specifică
elementelor sale: A = {x| P(x)} unde P(x) este o proprietate adevărată
pentru toţi indivizii x care sunt elemente din A.
Un obiect “x este element al mulţimii A” sau “x aparţine lui A”,
notat prin x ∈ A; simbolul “∈” indică apartenenţa unui obiect la o mulţime
şi exprimă sensul concret al “relaţiei de apartenenţă”. Dacă un obiect “y
nu este element al mulţimii A” sau “y nu aparţine lui A” se notează
prin: y∉ A.