The properties of the structure A(X) are the very motivation for the definition of interior algebras.
结构 A(X) 的性质就是定义内部代数的真正动机。