*定義 [#r84a67da]
The semiinterior of A is the union of all the [[semiopen]] subsets in A.