Einfache(?) Prädikatenlogikaufgabe

Hallo Forum,

Sitze gerade vor einer Matheaufgabe, bei der ich nicht mehr weiter weiß. Die Aufgabe lautet:

Zeigen Sie, für jede Menge A gilt:
$\exists x \forall y (y \in x \to y = A)$

Mein ist Problem jetzt, ich verstehe ja nicht mal diese Formel. Was soll das A sein? Wie soll ich da etwas zeigen, wo doch A sonst nirgends vorkommt?

Es soll ja auch für alle Menge A gelten.

Probiers mal mit x={A}