Free Variable/Examples/Cardinality Example

In set theory:
 * $\card S = \aleph_0$

$S$ is a free variable, as, for instance, $S = \Z$ makes this true while $S = \R$ makes it false.