associative law of composition of mappings