Relations of tracing are de ned on structures of con gurations of abstract knowledge space. Properties
of di erent types of tracing mappings and a problem of extraction of semantically correct fragments of
con gurations by means of such mappings are considered.
