Distinguishing properties in graph theory encompass a suite of concepts and invariants designed to quantify and break symmetries in graphs by means of labellings or colourings. At the heart of this ...