Read Levin's chapter on functions. Go over the exercises at the end. Note that Levin skips over the more general notion of relation -- he comes to it in a later stage, though. We will talk about ...