وهذو تعريف الأصوليين للقيا فإنهم عرفوه ببأنه حمل غر المنوص عىلى المنصوص إذا كان مشتركا معه في العلة .
وهذا تعريف الأصوليين للقياس فإنهم عرفوه بأنه حمل غير المنصوص على المنصوص إذا كان مشتركا معه في العلة  .