

Relation is a specific type of cartesian product, which defines the particular relation.
But function is a very specific type of relation, in which the objects of 1st set can have one and unique image in the another set.
For detailed description, please refer the following video and notes:
https://www.youtube.com/watch?v=oWHxtfZwD34&list=PLCzaIJYXP5YdFtkM5hQdxBDnK8xo3Ps1V&index=1&t=3064s Timestamp: 26:26
https://www.youtube.com/watch?v=roOQPKKRkI4&list=PLCzaIJYXP5YdFtkM5hQdxBDnK8xo3Ps1V&index=3 Timestamp: 01:20
