What is the definition of a high-level requirement for a product that contains multiple subsystems, which could be all software or software and hardware?