Intersection Operator

Type: definition

$S_1 \intersect S_2$ outputs a set $S_3$ such that
\[
x \in S_3 \iff x \in S_1 \text{ and } x \in S_2.
\]
This means that $S_3$ contains exactly the elements common to $S_1$ and $S_2$.

Notation definitions (retained for meaning):
\newcommand{\intersect}{\mathbin{\cap}}