theorem Th18: :: UNIFORM3:37

for X being set
for D being a_partition of X
for O being open Subset of (partition_topology D) holds O is closed