\begin{definition}[Definition:Cardinality of Structure]
Let $\AA$ be a first-order structure.
Then the '''cardinality of $\AA$''', denoted $\card \AA$, is defined as:
:$\card \AA := \card A$
where $\card A$ is the cardinality of the underlying set $A$.
\end{definition}