Ekvivalensklasser och Låd principen

Jag försöker lösa denna uppgift och jag sitter fast på fråga b). Jag har resonerat att vi söker ekvivalensklasserna [a] där b är i relation till a, bRa. Om vi sätter b=1 tänker jag att vi får en ekvivalens klass av alla värden $1 = 2^{k}a$. Då kan a få värdena $\left[1\right]=\{1, 2, 4, 8, 16\}$. Om b=6 får vi $6 = 2^{k}a$ och $\left[6\right] = \{6, 12, 24, 48\}$. Enligt lösningen så finns det 49 olika mängder på S och så innehåller ekvivalens klasserna talen 1, 3, 5 till 49 vilka inte existerar i mängden S. Eller har jag misstolkat detta. Sedan undrar jag om S: a~b betyder att a och b kan bara anta värden från mängden S?