More specifically, given a function "f" from "X" to "Y" and a function "g" from "Y" to "Z", then the function ""g" composed with "f"", written as "g ∘ f", is a function from "X" to "Z" (notice how it is usually written in the opposite way to how people would expect it to be).