for A being set
for X being Subset of A holds X = union { {x} where x is Element of A : x in X }