Definition:Structure (Set Theory)

Definition
Let $A$ be a class.

Let $\mathcal R$ be a relation.

The relational structure $\left[{A, \mathcal R}\right]$ satisfies well-formed formula $p$, denoted $\left[{A, \mathcal R}\right] \models p$, shall be defined on the well-formed parts of $p$: