IDEAL THEORY OF SUBTRACTION ALGEBRAS