Exhaustive inclusion (الاستغراق) arises when a noun applies to every relevant member of its class. This is more than simply invoking the class's nature. Evidence of generality, the possibility of exception, and the utterance's purpose matter.
إِنَّ الْإِنْسَانَ لَفِي خُسْرٍ
Indeed, mankind is in loss.
In Sūrat al-ʿAṣr, the subsequent words «إِلَّا الَّذِينَ آمَنُوا» introduce an exception. That structure is significant evidence for the comprehensive range of the earlier expression: the function of an exception presupposes an initially wider class from which members are excluded.