なお，等分除と包含除についても，集合論的に次のように一般的な形で述べることができる。集合Xに同値関係Rがあるとき，商集合X/Rは包含除による商（あるいはその一般化）である。一方，集合の間の写像f:X→Yがあるとき，各y∈Yの逆像は，等分除による商（ある…