There are many variants.
Assumptions:
The definition can be found here:
Definition (Haploid Wright-Fisher model with selection): In a panmictic, haploid population of constant size , where individuals are of type and : if generation at time consists of individuals of type , and of type , then, according to the Wright-Fisher model with selection, the generation at time is formed by individuals, each of which has a probability to be of type given by:
and is of type otherwise. The process is called sampling with replacement, because we are, in effect, replacing each individual of the previous population by a new one, which follows a given distribution of alleles (type). is called the selection coefficient, and is the fitness of type . If, we give a fitness to type , then we use
And one can see how this would be generalized for more possible types in the model.
The way this probability comes about is:
If for all types, selection doesn't play a role, and the model describes genetic drift only.
Also described here.
Starting from the same setup as above (for the Haploid Wright-Fisher model with selection), the definition for the model with mutation is:
Definition (Haploid Wright-Fisher model with 'selection and mutation): If there are individuals of type among parents (and individuals of type ), and we have mutation rates for , and for , then, the probability of type (also called the proportion of potential offspring, in frequentist language, used often in biology) is:
As above, as each of the individuals in the next generation (offspring) have a type independently following this distribution. The number of type offspring follows a binomial distribution
Fixation
See page 326 in here for instance
See this question
https://link.springer.com/chapter/10.1007/978-3-319-52045-2_2