Mapping/Examples/Arbitrary Sets of Students

Example of Mapping
Consider the indexed family as defined in Arbitrary Sets of Students:

The indexing function $\alpha: I \to S$ which establishes a correspondence between elements of $I$ and $S$ is an example of a mapping.