Relation composition/Definition

Formation of a new relation S o R from two given relations R and S, having as its most well-known special case the composition of functions.