Description: Define the topology extractor function. This differs from df-tset when a structure has been restricted using df-ress ; in this case the
TopSet component will still have a topology over the larger set, and
this function fixes this by restricting the topology as well.
(Contributed by Mario Carneiro, 13-Aug-2015)