Definition:Standard Structure

From ProofWiki
Jump to navigation Jump to search

Definition

The structure $\left[{A,R}\right]$ is called a standard structure iff:

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


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

$\displaystyle A \models p \iff \left[{A , E \cap \left({ A \times A }\right)}\right] \models p$


Sources