Définition
Un 'singleton'
est un ensemble comportant un
seul élément.
Donc
y ∈ {x} ⇔ y=x
Mais aussi:
{x}={y} ⇔ x=y
Par ailleurs, ne pas confondre l'élément x et le singleton {x} !
Nous verrons plus tard (ensembles de parties) que les notions sont bien distinctes.