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