We assume that the user is already familiar with the basic operations on binary relations such as the intersection or union 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.