EDIT:
“save their ids with respect to each other”? That still doesn’t change the fact that you explicitly assert that you have no basis for your claim that they are separate just within you own assertion.
The Man you are using a reasoning that has no ability to deal with things that save their ids with respect to each other under co-existence.
As a result you are unable to understand the non-local id of a thing that exists at more than one location, and the local id of a thing that exists at no more than one location, under their co-existence.
An arbitrary ordering doesn’t mean that it is not ordered it just means that the ordering is, well, arbitrary. Again if you don’t think the orderings are different then show how they are exactly the same.
Again “the next element” is an aspect of ordering even without some “particular order” being considered.
So again define your “succession” without ordering.
You simply use the word "order" even if there is no order, so even if one follows your reasoning, the next element of a given collection is not necessarily determined by any particular order exactly as the cardinality of some infinite set is not impacted by the order of its members (cardinality is not ordinality and vice versa).
By understanding the arbitrariness of the next member of some infinite set and the fact that multiplicity is the result of the co-existence of the local with the non-local, we have the needed logical basis to conclude that any given amount of local elements can't completely cover a non-local element under the co-existence, and any given amount of non-local elements can completely reducible into local elements.
The non-transformation of the local and the non-local into each other under their co-existence, guarantees the existence of multiplicity in the first place, and prevents the existence of the final non-local or local element in any given infinite collection (or in other words, the completeness of any given infinite collection, where the permanent existence of the next non-local or local elements, is an inherent property of its existence).
As for non-locality and locality, let's demonstrate again their ids under co-existence by using the minimal needed elements, which are points and line-segments:
A line segment X is located at endpoint A
AND at endpoint B.
Let endpoint B be a limit of X, such that X is at B
AND at any arbitrary closer point C to B, which is located along X
AND it is between endpoint A and endpoint B.
No matter how close is C to B, C is not B only if X is irreducible to B
OR C.
No point along X, whether it is endpoint A endpoint B or arbitrary point C, is at more than one location along X.
The co-existence of line segment X, endpoint A, endpoint B and arbitrary point C (C is taken as a placeholder of any point between endpoint A and endpoint B, along X) under a one framework, guarantees the existence of the Real line.