在较抽象的数学，特别是抽象代数中，商通常用以描由某类集合、空间或代数结构上由合适的等价关系定出的新结构，其元素通常是原集合的等价类。在范畴论中，则进一步将之抽象为一范畴中的商对象。详阅：