CatGloss
Let $ fcolon Ato I $ be an epic (onto) set function. Then