Prvek množiny

Prvky množiny (také členy množiny) jsou v matematice takové objekty, které jsou obsaženy v dané množině.

Prvkem množiny může být i jiná množina, ale nesmí obsahovat sama sebe jako prvek. Také výraz "množina všech množin" vede ke sporu - není to množina.

Příslušnost prvku k množině

Skutečnost, že určitý prvek $a$ patří do množiny $A$ zapisujeme symbolem ∈ (stylizované E z latinského označení prvku - elementum; někdy se slovně označuje jako "patřítko"):

$a\in A$

Skutečnost, že $a\in A$ lze také vyjádřit tak, že $a$ je prvkem $A$, náleží do ní, nebo že množina $A$ obsahuje prvek $a$.

Pokud prvek $a$ do množiny $A$ nepatří, píšeme ∉ (tento symbol se někdy slově označuje jako "ne-patřítko"):

$a\notin A$