Convention:Function composition

From Groupprops

This article is about a convention that is followed in this wiki. The aim is that every page on the wiki follows this convention unless explicitly stated otherwise on the page; however, in practice, this may not have been implemented

In Groupprops, the notation $f \circ g$ always denotes $g$ , followed by $f$ . In other words, if $g:A \to B$ , and $f:B \to C$ are maps, then $f \circ g$ denotes the composite map from $A$ to $C$ .