$A$ is the cardinal |A|.
| $A$ is said to be finite, countable, or uncountable if |A| is
| finite, countable, or uncountable.  Notice that on a finite
| universe A, while there can be only finitely many different
| relations, functions, and constants, the number of different
| interpretation functions $I$ can be very large and depends
| on |$L$|.
|
| Chang &amp; Keisler, 'Model Theory', pages 20-21.
|
| C.C. Chang and H.J. Keisler, 'Model Theory',
| North-Holland, Amsterdam, Netherlands, 1973.

¤~~~~~~~~~�