 Mereologies are formal systems, but we will be ignoring technicalities in this entry as far as possible (for details, see the entry  Mereology).  Still, some terminology is necessary and useful, since we will be discussing theories which employ mereological notions. Let us take the notion of part as primitive. A ‘simple’ is a non-composite entity, i.e., something with no  parts.[14]