Mathematical logic and foundations

A structure M is a model of a set of first-order sentences T exactly when: