Definition:Cardinality of Structure

Definition
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$.