Съществително име - ед. ч. непълен член
Думата е производна от инвариант
След последната итерация S съдържа всички върхове на графа и от доказаната инварианта следва, че алгоритъмът е намерил най-късите пътища до всички върхове. Източник: интернет