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