Ancestor algorithms reduce to fixed points of the evolution operator where each iteration preserves the invariant description without introducing variation.