Generic al- (لام الحقيقة) can present the nature or category denoted by a noun rather than point to one identifiable member. Expressions involving man, woman, and human being can thus compare kinds without tracking a particular Zayd or ʿAmr.
الرَّجُلُ خَيْرٌ مِنَ الْمَرْأَةِ
The man is better than the woman.
The text uses this as an illustration of reference to a kind, not as proof that every man is superior to every woman in every respect. The linguistic point is that «الرجل» and «المرأة» can denote generic kinds rather than named individuals. The truth of a proposition must be assessed separately from the grammatical and rhetorical function of its expressions.