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