x ist eine gerade nichtnegative Zahl, also 0, 2, 4, 6 und so fort. In der Menge sind gerade immer diese Werte halbiert, also 0, 1, 2 und so fort. Mithin ist die gesuchte Menge einfach die der Natürlichen Zahlen.