Go backward to Logic Evaluator Go up to Top Go forward to

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).