Composition of Relations

We assume that the user is already familiar with the basic operations on binary relations such as the intersection or union of relations.