一个抽象算法的收敛性定理

本文提出了一个抽象算法,并证明了收敛性定理。