theorem Th10: :: TOPDIM_2:10

for T1, T2 being TopSpace
for A1 being Subset of T1
for A2 being Subset of T2 holds Fr [:A1,A2:] = [:(Fr A1),(Cl A2):] \/ [:(Cl A1),(Fr A2):]