Composition

Composition of relations

Let and are 2 relations. Composition can be defined when .

Say . Composition of the 2 relations is written as:

Identity relation

From the properties of the inverse relation, are both defined always. This relation is called the identity relation and denoted by .

Composition of functions

Let and be 2 functions where is onto.

The notation can be written as .