執行債務者が、債務名義によって確定された請求権が弁済や期限の猶予などにより実体上の権利関係と一致しないことを理由に異議を主張し、その債務名義の執行力を排除して、執行からの現実的解放を求めるための執行法上の訴えのことである。