theorem Th12: :: COMPL_SP:12

for M being non empty MetrStruct
for S being SetSequence of M
for F being Subset-Family of (TopSpaceMetr M) st F = rng S holds
( ( S is open implies F is open ) & ( S is closed implies F is closed ) )