Sean f:A → B y g:B → C, la composición de g con f es una función de A en C simbolizada por g f y tal que