The picture shows a pedigree (as good as the dot software allows) of a family with a recessive x-linked disorder. The mutated X-chromosome is symbolized by the small letter x while the normal X has a capital letter. Each female (symbolized by a circle) has two X-chromosomes and is healthy even if she carries a mutated x.

The question posed to Bayes analysis is what is the risk that the two females—the patients sister (3)and his nice (5)—in this pedigree are carriers of the mutated allele. Modified from Bayesian Analysis and Risk Assessment in Genetic Counseling and Testing[Error: Wrong macro arguments: "14129" for macro 'ref' (maybe wrong macro tag syntax?)]
.

The Bayes theorem states:

[Error: Macro 'me' doesn't exist]

A priori probability

We call [Error: Macro 'me' doesn't exist]
the a priori probability. In our case it is the probability that the patient's sister (3) is a carrier. This probability is exactly 1/2 or 50%.

Conditional probability

Next, we call [Error: Macro 'me' doesn't exist]
the conditional probability, also called likelihood[Error: Wrong macro arguments: "14103" for macro 'ref' (maybe wrong macro tag syntax?)]
, of of event [Error: Macro 'me' doesn't exist]
(three healthy sons) if the is a carrier. This probability is 1/8 or 12.5% as there exist exactly 8 possibilities to inherit the x chomosomes to her three sons and in only one all three of them are healthy. The event [Error: Macro 'me' doesn't exist]
([Error: Macro 'me' doesn't exist]
given [Error: Macro 'me' doesn't exist]
) is a subset with only one element from the set of possible events [Error: Macro 'me' doesn't exist]
.

By use of the cardinality symbol [Error: Macro 'me' doesn't exist]
we can write

[Error: Macro 'me' doesn't exist]

Joint probability

The term "joint" probability is a little bit misleading in general Bayesian analysis, so some other publications prefer the term normalizing factor [Error: Wrong macro arguments: "14103" for macro 'ref' (maybe wrong macro tag syntax?)]
, but it works fine with this example as it is the probability of the mother (3) having three healthy sons regardless her own carrier status. Two datasets can be distinguished one ([Error: Macro 'me' doesn't exist]
) as above if she is a carrier and one ([Error: Macro 'me' doesn't exist]
) if she is non-carrier. For better distinguishing her two X chromosomes we use indexes.

As we do nor know her carrier status, we have to consider all these possibilities, the union set [Error: Macro 'me' doesn't exist]
of sets [Error: Macro 'me' doesn't exist]
and [Error: Macro 'me' doesn't exist]
. (Here is where the term "joint" makes sense.)

[Error: Macro 'me' doesn't exist]

The set [Error: Macro 'me' doesn't exist]
of three healthy sons contains the whole set [Error: Macro 'me' doesn't exist]
and one element of set [Error: Macro 'me' doesn't exist]
.

[Error: Macro 'me' doesn't exist]

Again using cardinality we receive.

[Error: Macro 'me' doesn't exist]

Posterior probability

The posterior probability is the probability that we receive if putting all this into Bayes formula.

[Error: Macro 'me' doesn't exist]

As to now we solved the question what is the probability that the patient's sister (3) is a carrier given she has three healthy sons. It is [Error: Macro 'me' doesn't exist]
.

Now we have to calculate her daughter's (6) probability being a carrier. Of course we may use the entire Bayesian process again, but it is easier to calculate that if her mother is a carrier she has a 50% chance to be a carrier too. That is her probability being a carrier is [Error: Macro 'me' doesn't exist]
.

Besides we receive the same result with Bayes formula taking into account that her prior probability is 1/4 (half her mothers), and all the other terms remain the same.