Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
relation_concatenation [2013/08/06 20:59] nikolaj |
relation_concatenation [2013/08/06 20:59] nikolaj |
||
---|---|---|---|
Line 9: | Line 9: | ||
==== Ramifications ==== | ==== Ramifications ==== | ||
+ | === Satisfies === | ||
+ | Concatenations/compositions are associative. | ||
=== Discussion === | === Discussion === | ||
A mayority of uses of the relation concatenation is when the relation is functional, i.e. one composes functions alla | A mayority of uses of the relation concatenation is when the relation is functional, i.e. one composes functions alla | ||
Line 16: | Line 18: | ||
then | then | ||
- | $(f\circ g):X\to Z$ | + | $f\circ g:X\to Z$ |
$(f\circ g)(x):=f(g(x))$ | $(f\circ g)(x):=f(g(x))$ | ||
- | |||
- | Concatenations/compositions are associative. | ||
==== Context ==== | ==== Context ==== | ||
Set constructor | Set constructor | ||
=== Parents === | === Parents === | ||
[[Binary relation]] | [[Binary relation]] |