Definition:Cardinality of Structure
Jump to navigation
Jump to search
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$