Differences
This shows you the differences between two versions of the page.
|
integral_relation_algebras [2011/07/30 23:15] jipsen |
integral_relation_algebras [2011/07/30 23:17] (current) jipsen |
||
|---|---|---|---|
| Line 13: | Line 13: | ||
| ====Definition==== | ====Definition==== | ||
| An \emph{integral relation algebra} is a [[relation algebra]] $\mathbf{A}=\langle A,\vee,0, | An \emph{integral relation algebra} is a [[relation algebra]] $\mathbf{A}=\langle A,\vee,0, | ||
| - | \wedge,1,\neg,\circ,^{\smile},e\rangle$ in which | + | \wedge,1,',\circ,^{\smile},e\rangle$ in which |
| \emph{the identity element $e$ is $0$ or an atom}: $e=x\vee y\Longrightarrow x=0\mbox{ or }y=0$ | \emph{the identity element $e$ is $0$ or an atom}: $e=x\vee y\Longrightarrow x=0\mbox{ or }y=0$ | ||
Trace:
