The reliability of the axiom group, which shows that characterizing of rough set theory based on similar relation is rational, is proved.

• 证明了公理组的可靠性，它表明了用所给公理组刻画基于相似关系粗糙集理论的合理性。