Супрацьле́глы (проціле́глы) лік ${\displaystyle n'}$ да пэўнага ліку ${\displaystyle n}$ — гэта лік, які пры складанні з ${\displaystyle n}$ дае нуль:

${\displaystyle n+n'=0.}$

Гэтую роўнасць можна перапісаць наступным чынам:

${\displaystyle n+n'-n=0-n}$

або

${\displaystyle n'=-n}$

Такім чынам, процілеглыя лікі маюць аднолькавыя абсалютныя велічыні (модулі), але процілеглыя знакі. У адпаведнасці з гэтым лік, процілеглы да ${\displaystyle n}$, абазначаюць ${\displaystyle -n}$.

Калі лік дадатны, то процілеглы да яго лік будзе адмоўным, і наадварот.

Нуль процілеглы сам да сябе (нуль са знакам мінус — гэта той самы нуль).