Lecture 3 in Event-B module (Lecture 5 of the course )will be devoted to the use of

more advanced concepts from the set theory, such as functions and relations.

It would be useful if before the lecture you refresh your knowledge of

what are injective, surjective and bijective functions.

To do it, please watch the video:

If you would like to remind yourself about what are relations please watch

A video about basics of set theory is here: