In system/software system engineering (requirements), a lower level requirements that is determined to be necessary for a top-level requirement to be met.