Wiki. 子对象 [子对象]

观念

子对象就是单射 (或单射的等价类).