The rank function is proved to be matroidal and the lattice of definable sets is geometric.

• 证明了由粗集中可定义集构成的格是一个几何格。