A relational symbol indicating membership of an element within a set in set theory.
Examples
Basic set membership
2 \in \mathbb{N}
Set membership with a defined set
x \in \{1, 2, 3, 4, 5\}
Set membership in mathematical statement
\forall x \in \mathbb{R}, x^2 \geq 0