更改

==== 严格定义： ====

==== 严格定义： ====

[math]\displaystyle{ p_c = \inf\left{ p \in [0,1] : \mathbb{P}_p(|C_0| = \infty) > 0 \right} }[/math]

[math]\displaystyle{ p_c = \inf \{ p \in [0,1] \mid \mathbb{P}_p(\vert C_0\vert = \infty) > 0 \} }[/math]

其中[math]\displaystyle{ C_0 }[/math]是原点所在的连通分量

其中[math]\displaystyle{ C_0 }[/math]是原点所在的连通分量