See for the relation types set.

Mention "argument" and "image" as part of the domain/range diagram.

Function types: bijection, injection, surjection, projection; defined in terms of orthogonal boolean flags - surjective and bijective.