for X being set
for f, g being Function holds compose (<*f,g*>,X) = (g * f) * (id X)