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