theorem :: ZFMISC_1:2

union {} = {}