بالوجود بحيث يلزم من وجود الحد وجود المحدود، وأما إذا وجد الحد ولم يوجد المحدود، كتحديد الإنسان بأنه الحيوان (١) فهو: حد غير مطرد؛ لأنه أعم من المحدد فهو غير مانع.
ومعنى العكس: اقتران العدم بالعلم بحيث يلزم من عدم الحد عدم المحدود، فأما إذا عدم (٢) الحد ولم يعدم المحدود كتحديد الإنسان بأنه الحيوان الرجل فهو حد غير منعكس على المحدود؛ لأنه أخص من المحدود فهو غير جامع.
وقيل: الاطراد هو أنه متى وجد الحد وجد المحدود، ومتى وجد المحدود وجد الحد.
قال بعضهم: هذا وهم؛ لأنه لو كان الأمر كذلك لكان التعرض لذكر الانعكاس مستغنى عنه؛ لاستلزام (٣) اشتراط وجود الحد عند وجود المحدود؛ اشتراط (٤) عدم المحدود عند عدم الحد، ومثال هذا الوهم يجري في الانعكاس، ويرد عليه ما ورد على الطرد، والله أعلم.
فهذان قولان في معنى (٥) الطرد (٦) والعكس.