我在书上看到这样一个：（类似）

$dp(i)=dp(j)+1 \space | \space 1\leq i\leq n,a_j<a_i$。

请问这里 | 的作用就是界定 j 的吗？