function

Consider the function f : from [8] := {1,…,8} to [13] := {1,…,13}. (f is basically encoded as its image set : (f(1),f(2),…,f(8)), where f(i) can be any value from [13]. Ex : (1,1,1,1,…,1) stands for a function that sends everything to 1 : f(1)=1, f(2)=1,…)