Discrete Relations: can't understand relation definition

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
2 replies · 2K views
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.
 
Physics news on Phys.org
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.