Go backward to Equational LawsGo up to TopGo forward to Dynamic Laws |

- Composition laws
*P|Q = Q|P**P+(Q|R) = (P|Q)|R**P|0 = P*

- Restriction laws
*P*\*L = P*, if*L(P)*`intersect`(*L*`union`) = { }.*L**P*\*K*\*L*=*P*\(*K*`union`*L*)- ...

- Relabelling laws
*P*[`Id`] =*P**P[f][f']*=*P[f'*o*f]*- ...

Author: Wolfgang Schreiner

Last Modification: June 8, 1998