倒易点阵基本性质