Definition:Standard Structure

Definition
The structure $\struct {A, \RR}$ is called a standard structure :


 * $\RR = \Epsilon \cap \paren { A \times A }$ where $\Epsilon$ denotes the epsilon relation and $\times$ denotes the Cartesian product.

With a standard structure, $\struct {A, \RR} \models p$ shall be abbreviated:


 * $A \models p \iff \struct {A, E \cap \paren {A \times A} } \models p$