Elementary diagram

In the mathematical field of model theory, the elementary diagram of a structure is the set of all sentences with parameters from the structure that are true in the structure. It is also called the complete diagram.