Theory of a Structure

Let be an -Structure. The theory of is

We write when is clear. Note that is always a Complete Theory