Definition of a structure

Question

I found the following definition for a structure in my math course:

A structure $X$ consists of a non-empty set $D_x$, the universum of $X$ and the attribution of values $r^x$ to non logical-symbols $r$:

-The value $c^x$ for an object-symbol $c$ is an element of the universum $D_x$. $c$ can be a constant value or a variable.

-The value $F^x$ for a function-symbol $F/n$ is a function $F^x:D_x^n \rightarrow D_x$. This is a function that maps n-values $(a_1,...,a_n)$ from the universum to single values of the universum.

-The value $P^x$ for a predicate-symbol $P/n$ is a n-relation $P^x$ in $D_x$, so $P^x \subset D_x^n$.

We call $r^x$ the value or interpretation of $r$ in X.

=================================================

This seems pretty abstract to me, Can someone give me an example of a structure with this definition? Or just more information/explanation? I looked on the internet but didn't find anything.

Answer 1

You can see Peano arithmetic and the corresponding structure of natural numbers:

$(\mathbb N, 0, S, +, \times)$.

Here $\mathbb N = \{ 0,1,2,\ldots \}$ is the domain $D$ and $0$ is the only individual constant $c$ denoting the number zero.

$S(x)$ is a function symbol that is interpreted with the successor function, i.e. $\text {Succ} : \mathbb N \to \mathbb N$.

Finally, $+$ and $\times$ are binary function symbols, interpreted with sum and product respectively.

If we want to consider also an example of relation, we have to consider the binary predicate symbol $<$, that will be interpreted with the "less then" relation, i.e. $\text {less} \subseteq \mathbb N \times \mathbb N$.