النحويين وصححه ابن عصفور، أنه حرف، وصار هنا حرفًا كما أن الكاف في أكرمك تصير حرفًا مع "ذلك" وأخواته، وذهب الخليل وغيره، ونقل عن البصريين، إلى أنه اسم مضمر لدلالته على مسمى، وهو اختيار المصنف لعده إياه من المضمرات.
(مطابًا لمعرفة قبل) -نحو: ظننت زيدًا هو الفاضل، والزيدين هما الفاضلين، والزيدين هم الفاضلين، وهندًا هي الفاضل، والهندات هن الفضليات، وفهم منه أنه لا يجوز أن تكون قبله نكرة، فلا يجوز.
ما ظننت أحدًا هو القائم، وهذا مذهب البصريين، وأجازها الفراء وهشام.
(باقي الابتداء أو منسوخه) -باقي ومنسوخ صفتان لمعرفة في قوله: "لمعرفة قبل"، والأول نحو: زيد هو القائم، والثاني: ظننت زيدًا هو القائم، وإن زيدًا هو القائم، وكان زيد هو القائم.
(ذي خبر بعد) -صفة لمعرفة.
(معرفةٍ) -صفة لخبر كالقائم في المثل السابقة ونحو: إن كان زيد لهو أخاك.