CatGloss

This is symbolised as $ fcolon Ato B $ or $ AstackrelB $ . $ A $ is called the domain or source of $ f $ and $ B $ is the codomain or target. Figure 1:How does set theory deal with this notion?