Binary Relations, Relational Images, Inverse Relations and Images. Why do we need them in Computer Science?

Binary relations define relations between two objects.