283
edits
Pipe-calculus: Difference between revisions
→Equational theory
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 159: | Line 159: | ||
</math> | </math> | ||
Alternative composition is commutative, associative and idempotent | Alternative composition is commutative, associative and idempotent with neutral element <math>\fail</math> and absorbing element <math>\succeed</math>. | ||
<math> | <math> | ||
| Line 167: | Line 167: | ||
s \alt s = & ~s \\ | s \alt s = & ~s \\ | ||
s \alt \fail = & ~s \\ | s \alt \fail = & ~s \\ | ||
s \alt \succeed = & \succeed \\ | |||
\end{align} | \end{align} | ||
</math> | </math> | ||
| Line 178: | Line 179: | ||
</math> | </math> | ||
Pipe is associative | Pipe is associative with neutral element <math>\pass</math>. | ||
<math> | <math> | ||