Definition:Structure (Set Theory)

Definition
Let $A$ be a class.

Let $\RR$ be a relation.

The relational structure $\struct {A, \RR}$ satisfies well-formed formula $p$, denoted $\struct {A, \RR} \models p$, shall be defined on the well-formed parts of $p$: