previous up next
Go backward to Logic Evaluator
Go up to Top
Go forward to
RISC-Linz logo

Composition Laws

For every A, B, C, D and every R subset A x B, S subset B x C, and T subset C x D, we have:

(R-1)-1 = R;
R o (S o T) = (R o S) o T;
(R o S)-1 = S-1 o R-1.

Proof: see lecture notes (will be discussed later).

Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next