Zweierpotenzen/Teilbarkeit und natürliche Ordnung/Aufgabe

Aus Wikiversity

Es sei

die Menge aller Zweierpotenzen. Definiere eine Bijektion

derart, dass

genau dann gilt, wenn die Zahl teilt.