CANCELLATION PROPERTIES IN IDEAL SYSTEMS OF MONOIDS