component. -->
Let and are 2 relations. Composition can be defined when .
Say . Composition of the 2 relations is written as:
Let and be 2 functions where is onto.