Sei A = { a1,a2,a3,...,an} . Dann wird durch eine Zweifärbung Z von A zerlegt in zwei
Teilmengen B und C mit B∩C=∅ und B∪C = A.
Und ist w∈W, dann ist w eine Zeichenkette der Länge n, die
aus den Zeichen ci ∈{0;1}, i∈{1,...,n} besteht, wobei der Index i die
Position des Zeichens in der Kette angibt.
Nennen wir dann w = (ci) i∈{1,...,n}
Dann ist eine Bijektion die Abbildung
f : F ----> W
Z ---------> w= (ci) i∈{1,...,n} mit ci=0 für ai∈B und ci=1 sonst.