Free Variable/Examples/Cardinality Example

Example of Free Variable

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.