Relations And Functions

For injective , distinct elements of must go to distinct elements of . Choose an image for : choices. Then for only choices remain (must be different). Total .

For a function , each element of may be sent to any element of . Here , . For the first element of there are choices; for the second, again choices (independent). Thus total functions .