Nech

${\displaystyle P,Q\in \mathbb {N} }$.

Každé prirodzené číslo môže byť zapísané ako súčin prvočísel. Zapíšme teda čísla Syntaktická analýza (parsing) neúspešná (MathML s fallbackom na SVG alebo PNG (odporúčané pre moderné prehliadače a nástroje pre zjednodušenie prístupu): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „http://localhost:6011/sk.wikipedia.org/v1/“:): {\displaystyle P=p_1...p_n,Q=q_1...q_m} . Potom čísla P a Q sú súdeliteľné, ak

${\displaystyle \exists i\in I=\{1,2...,n\},j\in J=\{1,2...,m\}:p_{i}=q_{j}}$.

Inak povedané, P a Q majú aspoň jeden spoločný deliteľ okrem čísla 1.

Ak sú čísla nesúdeliteľné, tak nemajú iný spoločný deliteľ než 1.