終域
codomain
余域というふうにも書かれていたcFQ2f7LRuLYP.icon
『圏論の道案内』