Relation and function composition is associative.
Note 1: ETH::A&D
Deck: ETH::A&D
Note Type: Horvath Cloze
GUID:
added
Note Type: Horvath Cloze
GUID:
Q{f*UJkPmo
Previous
Note did not exist
New Note
Front
Back
Relation and function composition is associative.
This is important as \((\rho \circ \tau) \circ (\rho \circ \tau) = \rho \circ (\tau \circ \rho) \circ \tau\) is really useful in some exercises.
Field-by-field Comparison
| Field | Before | After |
|---|---|---|
| Text | Relation and function composition is {{c1::associative}}. | |
| Extra | This is important as \((\rho \circ \tau) \circ (\rho \circ \tau) = \rho \circ (\tau \circ \rho) \circ \tau\) is really useful in some exercises. |