Definition:Standard Structure

From ProofWiki
Jump to navigation Jump to search

Definition

The structure $\struct {A, \RR}$ is called a standard structure if and only if:

$\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$


Sources