قوله : [ أي خيار ترو ] : أي ويقال له خيار شرطي ، وهو الذي ينصرف له لفظ الخيار عند الإطلاق .
قَوْلُهُ : [ أَيْ خِيَارُ تَرَوٍّ ] : أَيْ وَيُقَالُ لَهُ خِيَارٌ شَرْطِيٌّ ، وَهُوَ الَّذِي يَنْصَرِفُ لَهُ لَفْظُ الْخِيَارِ عِنْدَ الْإِطْلَاقِ .