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$