Un ideal formula_67 se dice que es propio si es distinto de todo el anillo, esto es, formula_68.