`等式性质