Чтобы квалифицироваться как кольцо, множество и две операции (R, +, ·) должны удовлетворять следующим требованиям, известным как аксиомы кольца.
Установлено несколько правил, и операции должны удовлетворять, чтобы считаться кольцом.