等价号:⇔ 有什么数学意义?)