00:01
Okay, so let's get started with the first relation.
00:04
Here we have x, d, y, if and only if there exists n belonging to z, such that y is equal to n x.
00:15
Perfect.
00:16
Now, this relation here is clearly reflexive.
00:23
For the symmetry, well, for the symmetry, here we are going to have neither, clearly.
00:31
And this relation here is transitive, because if x divides y and y divides z, then x divides z.
00:49
Now let's take a look at the second one.
00:52
Well, here we have ab in relation with cd, if and only if a is less than or equal to z or b is less than or equal to d.
01:05
Now this relation here is clearly reflexive...