Mathlib

Cut the space into atoms P₁, …, Pā‚–. An orbit writes a word of atoms.