格化拓扑的公理描述

格化拓扑的邻元结构与收敛关系已由汪培庄提出[1],考虑公理的独立性,[1]中公理描述可以简化。本文重新给出邻元结构与收敛关系的公理体系,并证明公理的独立性,由于简化了公理体系,在证明它们刻划格化拓扑的等价性时比[1]简单容易。