Axiom 2:对于任何a∈P并且l,m∈A,f(a,I)&f(a,m)成立当且仅当I=m.
Axiom 3:对于任何a,b∈P并且I∈A,g(a,I)&g(b,I)成立当且仅当a=b.
Axiom 4:对于任何a,b∈P并且l∈L,使得f(a,l)并且f(b,l),则g(a,l)独立于g(b,l).
Axiom 5:对于任何a,b∈P并且l,m∈L,使得f(a,l)并且f(b,m),则g(a,l)独立于g(b,m).
在这里P和A是集合而f和g是函数.P是种群中所有等位基因的集合,A是种群中所有位点的集合.当a∈P并且I∈A,那么f(a,l)便是细胞在二倍体时a对于I的一个指定(assignment).(也就是说,