直和の逆演算である直差については、これこれこういうで定義できない、っていう説明をしてくれる賢い人が現れるまで待ってみます。