相关疑难解决方法(0)

我正在阅读一个算法(它是一个基于A*的路径寻找算法),它包含一个我不熟悉的数学符号:∀

以下是上下文:

v(s)_≥g(s)= _{mins'∈pred(s)}(v(s')+ c(s',s))∀s≠s _start

有人可以解释meaning的含义吗？