theorem Th15: :: TOPALG_3:15

for S, T being TopSpace
for A being closed Subset of S
for B being closed Subset of T holds [:A,B:] is closed