Let  
$S_1,S_2$ sets,  
$F$ the set of all functions from $S_1$ into $S_2$.