Definition

Consider two maps and . The composition map of the two maps is defined as