Variable

Type: definition

A variable is a member of an unknown set.
\[
  x \in S
\]
where $S$ only contains elements of a singular type.