Topics: Discrete Mathematics - Relation


Let and be two relations.

The composition of and , denoted , is the relation:

In other words, is defined by the rule that says that if and only if there is an element such that and .



Let be sets. Let , and (see Cartesian Product).

Then, it’s true that: