Definition:Substructure
Jump to navigation
Jump to search
Definition
Let $\AA, \BB$ be structures for a signature $\LL$.
Let $A, B$ be their respective underlying sets.
Then $\AA$ is a substructure of $\BB$, denoted $\AA \subseteq \BB$, if and only if:
- $A \subseteq B$
- For each function symbol $f$ of arity $n$, we have $f_\AA = f_\BB \restriction_{A^n}$, where $\restriction$ denotes restriction
- For each predicate symbol $p$ of arity $n$, we have $p_\AA = p_\BB \restriction_{A^n}$
- Note that in particular, for $n = 0$, this reduces to $f_\AA = f_\BB$ and $p_\AA = p_\BB$
This article is complete as far as it goes, but it could do with expansion. In particular: Relation with algebraic substructures You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Expand}} from the code.If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page. |
Sources
- 2009: Kenneth Kunen: The Foundations of Mathematics ... (previous) ... (next): $\text{II}.8$ Further Semantic Notions: Definition $\text{II}.8.17$