La definición dice que un irreducible solamente tiene como factores a un asociado con él o a una unidad.