theorem Th15: :: RELSET_2:15

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