Definition:Standard Structure

Definition
The structure $[A,R]$ is called a standard structure iff:


 * $\displaystyle R = \Epsilon \cap ( A \times A )$ where $\Epsilon$ denotes the epsilon relation and $\times$ denotes the Cartesian product.

With a standard structure, $[A,R] \models p$ shall be abbreviated:


 * $\displaystyle A \models p \iff [A, E \cap ( A \times A )] \models p$