Let A be a finite non-empty set and S a finite symbol set. Show that there are only finitely many S-structures with A as the domain
Let k be the number of elements in A,
for all constant symbols c in S there is k-many interpretations I(c).
Here's where I am a bit confused. I am having issues figuring out how many interpretations there would be for each n-ary function symbol f (and similarly for n-ary relation symbol R)