Discrete Relations: can't understand relation definition

2 replies · 2K views · last reply
theRukus
Messages
49
Reaction score
0

Homework Statement


Let Z be the set of all integers.

Then, S is a relation on the set Z x Z defined by:

for (a1, a2), (b1, b2) belong to Z x Z,

(a1, a2)S(b1, b2) <-> a1b2 = a2b1.


Homework Equations





The Attempt at a Solution


The actual problem is about symmetry, antisymmetry, transitivity, and reflexivity. I get all of those concepts. What I don't understand is,

What does (a1, a2)S(b1, b2) mean?


Thank you for any help.
 
If anyone has anything close to an idea of what this could mean.. Please help. I just need a good guess so I can try the question, but I don't have a clue.
 
S is the symbol for the relation. For example, (1, 2)S(2, 4) because 1*4 = 2*2. In this case the relation is that two ordered pairs are proportional. You could think of the ordered pairs as ratios: 1 is to 2 in the same ratio as 2 is to 4.