 The usual starting point is this: regardless of how one feels about matters of ontology, if ‘part’ stands for the general relation exemplified by (1)–(8) above, and perhaps also (12)–(15), then it stands for a partial ordering—a reflexive, transitive, antisymmetric relation: