Function composition and identity functions

Read g ∘ f as “do f first, then g,” and recognize the identity function id_A as the function that leaves every element of A unchanged. Practice computing a simple composition and checking that the domains and codomains match.