Abstract Gazzari provides a mathematical theory of occurrences and substitutions, which are generalisation constituting substitution functions. The dissertation focusses on term in terms first order language, but the methods results obtained there can easily be carried over to arbitrary kinds languages. aim is twofold: first, intends provide an adequate formal representation philosophically rel...