PROOF 120
Prove.
Composition is associative but not commutative
On sets and correspondences.
Definition D1
For g: X → Y and f: Y → Z, the composition f∘g: X → Z is defined by (f∘g)(x) = f(g(x)).
Proof.
Related labs
PROOF 120
Composition is associative but not commutative
On sets and correspondences.
Definition D1
For g: X → Y and f: Y → Z, the composition f∘g: X → Z is defined by (f∘g)(x) = f(g(x)).
Proof.
Related labs