theorem Th2: :: ORDERS_5:2

for X being set
for x being object st x in X & card X = 1 holds
{x} = X