theorem :: RPR_1:4

for E being non empty set
for a being Element of E holds {a} is Singleton of E ;