The ordering of cells in DOLFINx is determined by a graph partitioner (scotch, kahip or parmetis), that uses the mesh connectivity to decide what process should own what information.
The vertices are also renumbered, to ensure data-locality and efficient parallel computing.