https://www.glc.us.es/~jalonso/calculemus/24-nov-22/
Si f: A → B y g: B → C son inyectiva, entonces g ∘ f es inyectiva