The set in question needs some ordering (at least for the proof to easily cross over).

Though, I suppose we can use "number of molecules" and almost always get away with it.