hello,

I have a question about set replacement.

When we have a set like := { x : is in Z | x < 7 · x - 2 }

A

Arent we supposed to look for the integers that if we subtract 2 from them the result will be less than 7. Like, 5 for instance, 5-2 = 3 and 3 is less than 7 then 3 is a member of the set.. not sure if I'm going in the right direction here. Just wanna what should we do first, test the predicate (x<7) then apply the number to the (x-2) and see again if its less than 7 or what exactly. ?? I dont see how the bold big dote is suppsoed to operate here ??

Hope some will help. Thanks in advance.