1. التأسيس الاصطلاحي لعلاقة القابلية (Divisibility)

يُصطلح على أن العدد الصحيح النسبي غير المعدوم $b$ (حيث $b \in \mathbb{Z}^*$) هو قاسم للعدد الصحيح النسبي $a$ (أو بالتكافؤ الرياضي: العدد $a$ هو مضاعف للمقدار $b$) إذا وفقط إذا وُجد عدد صحيح نسبي $k$ يستوفي دالة التوليد الجدائية الآتية:

$a = k \times b \quad (k \in \mathbb{Z})$

ويُرمز لهذه العلاقة بنيويّاً بالترميز القياسي المعاير: $b \mid a$.

2. المبرهنات والخواص البنيوية الحاكمة لعلاقة القسمة

تخضع علاقة القابلية صلب الفضاء $\mathbb{Z}$ لمجموعة من المحددات والمبرهنات التحليلية الصارمة الواجب تفعيلها في البراهين الاستدلالية:

- خاصية التعدي (Transitivity): إذا ثبت استقرار التلازم الجبري $a \mid b$ و $b \mid c$، فإن ذلك يقتضي نظاميّاً أن $a \mid c$.

- مبرهنة التشكيل الخطي (Linear Combination): إذا كان المقدار الصحيح $d$ قاسماً مشتركاً للعددين $a$ و $b$، فإنه يقسم حتماً أي تركيب خطي صادر عنهما بدلالة المعاملين الصحيحين $m$ و $n$:

$d \mid a \quad \text{و} \quad d \mid b \implies d \mid (ma + nb) \quad (m, n \in \mathbb{Z})$

- قيد المحدودية المترية (الحصر): لأجل كل مقياس يستوفي الشرط $b \mid a$ مع تقييد المقسوم بعدم الانعدام ($a \neq 0$)، فإن القيمة المطلقة للقاسم تخضع حتماً للحصر الآتي: $|b| \leq |a|$.

3. البروتوكول الخوارزمي لحصر واستخراج قواسم الأعداد الطبيعية

يستند حصر المجموعة الشاملة لقواسم عدد طبيعي معلوم $n$ إلى اختبار قابلية القسمة الإقليدية على المتغيرات المحدودة بالشرط الطوبولوجي الحاصم: $k^2 \leq n$.

النموذج التطبيقي المقاير: تؤول مجموعة القواسم الطبيعية للمقدار المعاير $12$ صلب النطاق المحدود إلى الصياغة الصريحة الآتية: $\mathcal{D}_{12} = \{1, 2, 3, 4, 6, 12\}$.