👤

it is a special type of relation where every element in the domain is mapped to exactly one element in the range​