We normally don't. I think having the size of the `MixedSet` still makes sense e.g. when creating the PETSc Vec to scatter into.