Proportion: Ratio of the
measure of a part to the measure of the whole it is part of; ratio of
the cardinal number of a subset to the cardinal number of the set it is
subset of. The former definition may be regarded as the more
general case, but the latter definition will be used in this lemma. The
reason to include the lemma is that the theory of proportions is both
elementary and a good basis for elementary probability theory.
The theory of cardinal numbers of sets can be seen as based on two
assumptions:
 A1. Two sets have the same cardinal
number if and only if there is a 11 function between them.
 A2. A set that is the union of a
number of exclusive subsets has a cardinal number equal to the sum of
the cardinal numbers of all these subsets.
In particular, using '#(X)=x' as short for 'the cardinal number of X
is x' and using X_{i} and X_{j} as conventions to indicate that these are
subsets of X, A2 can be used to infer the following properties of
cardinal numbers of sets: (1) #(X_{i})+#(~X_{i})=#(X) for X_{i} and its
complement ~X_{i} are exclusive subsets of X that when united form X, and
thus (1) follows from A2. (2) #(X_{i}) = #(X_{i}OX_{j})
+ #(X_{i}O~X_{j}) This follows for a similar
reason from A2: (X_{i}OX_{j}) and (X_{i}O~X_{j})
are exclusive and when united are equal to (X_{i}). Now we can introduce
'p(Xi)' for 'the proportion of X_{i} in X' and 'p(X_{i}X_{i})' for 'the
proportion of X_{i} in X_{j}' and define (3) p(X_{i}) = #(X_{i}) : #(X)
(4) p(X_{i}X_{j}) = #(X_{i}OX_{j}) : #(X_{j})
Fundamental theorems
Here it makes sense to insert some
statements of simple theorems with sketches of proofs that hold given
the above stipulations concerning p and #. In fact all proofs are quite
trivial. In what follows D indicates the whole domain of discourse,
while D_{i} and D_{j} indicate arbitrary subsets of D.
T1: #(~D) = 0
Pr: By (1) putting D for D_{i}_{ }(since D is its own
subset).
T2: #(Ø) = 0
Pr: #(Ø) = #(D_{i}O~D_{i})
by A1 since Ø = D_{i}O~D_{i}_{
}and #D_{i}OD_{i}=#D_{i}
by A1 since D_{i}OD_{i}=D_{i.}
Therefore as #Di = #(D_{i}OD_{i})
+ #(D_{i}O~D_{i})
by A2, it follows #Ø = 0.
T3: p(D_{i}D_{j}) = p(D_{i}OD_{j})
: p(D_{j})
Pr: p(D_{i}D_{j}) = #(D_{i}OD_{j}):#(D_{j})
by (4) which = (#(D_{i}OD_{j}):#(D)):(#(D_{j}):#(D))
by algebra which
= p(D_{i}OD_{j}):p(D_{j})
by (4).
T4: p(D_{i}) = p(D_{i}D)
Pr: (D_{i}) = #D_{i} : #D by (3) which since D_{i}OD=D_{i}
turns to #D_{i}OD
: #D = p(D_{i}D) by (4).
These theorems allow the surrection of something that is formally
very much like elementary probability theory.
This is formally so, but there are some niggles related to the
interpretation of
probability, that in the context of the present lemma must have the
form of "probability is proportion plus a certain condition that enables
inferences of probabilities from proportions". In the context of
Personal Probability, such
a condition for a person a is the following, where S and S' are sets
(respectively population and sample); K is the knowledge a possesses;
and S_{i} is a subset of S: prob(a,f,S,S') =df f: S 11 S' &
~(ETeK)( pr(a,T)≥½ & T  p(xeS_{i}f(x)ef(S_{i}))≠p(xeS_{i}))
)
That is, a has a probability for S if and only if f is a partial 11
surjective function that maps a set S
(population) to a set S' (sample) that is such that a has no minimally
credible knowledge T that allows the valid inference that the proportion in the
population differs from the proportion in the sample.
The reason that f is partial (not all members of S are or need to be
mapped to the sample set) is that this is not needed, not necessary, and
often not possible. (The last for example if the population is infinite,
very large or extends to the future.) And it is surjective because every
element in the sample should identify some member in the population.
The reason f is 11 is that the elements in the sample set (say a
lottery with numbers that refer to elements in the population set) must
uniquely identify the elements in the population. And y e f(S_{i})
IFF f^{1}(y) e Si  and note that f^{1}(.) is
functional since f is 11. As indicated, one way to obtain the above
is by setting up a lottery in which the tickets identify elements of the
population.
