In the σsmr-structure N {\displaystyle {\mathcal {N}}} of the natural numbers, for example, an element n satisfies the formula φ if and only if n is a prime number.
Στη σsmr-δομή N {\displaystyle {\mathcal {N}}} των φυσικών αριθμών, για παράδειγμα, ένα στοιχείο n ικανοποιεί τον τύπο φ αν και μόνο αν το n είναι πρώτος αριθμός.