示）与商结构（例如商群、商模、商表示）的推广。固定一个范畴 formula_1。若 formula_1 中的对象 formula_3 能表成某对象 formula_4 的子对象之商，则称 formula_3 为 formula_4 的子商。在群与阿贝尔范畴的框架下皆可定义子商。在群论中，有时也将子商称为截面。