difference package:monoid-extras

difference sActed sOrig is the element m such that sActed = m `act' sOrig.