Axiornatizing the algebraic multiplicity

Given a smooth family pound of one (real or complex) variable and taking values within the class of Fredholm operators of index zero in a Banach space, there are some available definitions of algebraic multiplicity of the family pound at a point lambda(0) of the parameter at which the operator ( p...