وَقَالَهُ غَيره، وَهُوَ صَحِيح.
قَوْله: ﴿شَرطه: أَن يكون مطردًا، وَهُوَ الْمَانِع: كلما وجد الْحَد وجد الْمَحْدُود، منعكسًا، وَهُوَ الْجَامِع: كلما وجد الْمَحْدُود وجد الْحَد، وَيلْزمهُ: كلما انْتَفَى الْحَد انْتَفَى الْمَحْدُود﴾ .
وَحَقِيقَة الانعكاس هُنَا: كلما وجد الْمَحْدُود وجد الْحَد، فَإِنَّهُ عكس الاطراد، وَهُوَ: كلما وجد الْحَد وجد الْمَحْدُود، وَيلْزمهُ: كلما انْتَفَى الْحَد انْتَفَى الْمَحْدُود، فَإِنَّهُ إِذا وجد الْمَحْدُود وجد الْحَد، فَإِذا انْتَفَى انْتَفَى، صرح بِهِ القَاضِي عضد الدّين، وَغَيره، وَهُوَ وَاضح.
وَفَسرهُ ابْن الْحَاجِب وَغَيره بلازمه، فَقَالَ: (المنعكس كلما انْتَفَى الْحَد انْتَفَى الْمَحْدُود)، وَالتَّحْقِيق الأول.
وَتجب مُسَاوَاة الْحَد للمحدود، لِأَنَّهُ إِن كَانَ أَعم فَلَا دلَالَة لَهُ على الْأَخَص، وَلَا يُفِيد التَّمْيِيز، وَإِن كَانَ أخص، فَلِأَنَّهُ أخْفى، لِأَنَّهُ أقل وجودا مِنْهُ.