theorem Th25: :: ROUGHS_2:25

for T being TopSpace holds Flip (ClMap T) = IntMap T