b-フレドホルム作用素formula_12の指数は、フレドホルム作用素formula_22の指数と定義する。