拟阵的确定

摘要

本文定义了拟阵的差导算子,证明了对每个给定的有限集X,可以给DD(X)(即X上拟阵差导算子的全体)上赋予适当的序≤使得(DD(X),≤)与(CL(X),≤)(即X上拟阵闭包算子的全体),(F(X),≤)(即X上拟阵闭集族的全体)之间是完备格同构的.