theorem Th31: :: TOPS_1:31

for GX being TopStruct
for T being Subset of GX holds Cl T = T \/ (Fr T)