Zweierpotenzen/Teilbarkeit und natürliche Ordnung/Aufgabe

Es sei

die Menge aller Zweierpotenzen. Definiere eine Bijektion

derart, dass genau dann gilt, wenn die Zahl teilt.