Reduct

A structure obtained from a given structure by omitting some symbols of its language and retaining the same underlying domain and the interpretations of the remaining symbols. The reduct is the canonical result of the 'forgetting' operation that removes vocabulary without altering how the leftover symbols are interpreted on the same set.