Let me give you an example, of what we want.
Consider “F(s)” a function that counts the distinct number of elements whit in a set S.
Ex. “F({1,2,3,4})=4” (4 different entities), “F({1,2,2,4})=3” (because the entity 2 is repeated then it only counts has one)
And in your definition of entropy of a partition “A(n,k)” (partition k of the number n) is equal to “#A(n,k)-F(A(n,k))”.
This is an example of a definition, we now have a way to quantify it, attribute a relation of order, bash it and finally kill it.
If you can’t come up whit something like this, I suggest you stop wasting our time.
We have multi-sets and we use Distinction as their first-order property.
It means that if all we care is to define each multi-set by a distinct value, then we are actually closed under the particular case where our researched objects are translated to another multi-set of distinct elements.
In other words non-distinct results are perfectly valid and do not have to be translated to some distinct result, because by this limitation Distinction cannot be considered as a first-order property.
TMiguel uses, for example, this function:
F({1,2,3,4})=4 , F({1,2,2,4})=3 , etc …
By this method he simply wants to reduce multi-sets to their distinct case, but the whole idea here is to save the non-distinct case of 2,2 because Distinction is a first-order property of multi-sets.
Again: {1,1,1} is non-distinct and {1,1,1,1} is more non-distinct if they are compared to each other.
We can get some distinct result of this comparison, which is nothing but some particular case of clearly distinct result.
In other words, if Distinction is a first-order property of the researched framework, then it is not limited to any particular case of Distinction.
If Distinction is a first-order property of our framework, then our framework is not limited to any particular case of it, and each researched case can be both some particular case and general case of the entire framework.
Here is a diagram of Distinction:
As can be seen in this diagram, we are using the particular case of clearly distinct identification as a general viewpoint of the entire system, but any other case which is not a distinct viewpoint, can be used as a general viewpoint of the entire system as well.