theorem :: MBOOLEAN:23

for x being object
for I being set holds union (I --> {x}) = I --> x