對映的跡

設一個 patch 由對映 給出，其中 是 的開子集，或者更一般地由 給出，其中 是 的任意 子集。那麼 （或更一般地，）被稱為 的跡。