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

Sources

• 2009: Kenneth Kunen: The Foundations of Mathematics ... (previous) ... (next): $\text{II}.7$ First-Order Logic Syntax: Definition $\text{II}.7.16$