@♗Wendigo♝ 建议开头那第三个性质的三个等式改成“等价于”（$\Leftrightarrow$）