This is part of the project of relative Donaldson-Thomas theory of ideal sheaves on projective threefolds. We propose a definition of the moduli stack of stable relative ideal sheaves, and prove that it is a proper Deligne-Mumford stack. Based on these, we state a degeneration formula of Donaldson-Thomas invariants of threefolds. |