These are related to the idea of Relations, but they have extra steps. Mathematically the are:

Simply, the relation is a solid one () and it’s an x-to-one mapping.

Notation: