We cover the basic definitions for relations and implement them in code. All code can be found in the course git repository https://github.com/MariusFurter/MAT605-haskell-FS23
00:00 Introduction
00:08 Definition: Relation
03:15 Definition: Relation composition
07:08 Definition: Domain / Range of a relation
08:48 Definition: Reflexive, symmetric, transitive
14:06 Importing modules
18:03 Datatypes for relations
25:10 Get domain and range of relation
32:18 Check if pair is in relation
35:03 Checking reflexivity, symmetry, transitivity
46:03 Relation composition
The playlist for the course can be found here: https://www.youtube.com/watch?v=0HImO-me_sg&list=PLd8NbPjkXPliojM8YMN3z3o9--zXwti8Z
