  In terms of these basic principles, Leśniewski proves a number of theorems and defines several important mereological concepts, such as overlapping (having an ingredient in common) and being exterior to (having no ingredient in common). It is characteristic of this essay that Leśniewski is keen to appropriate the terminology of set theory for his own purposes. Further terminology includes ‘element’, which is defined as follows: