theorem :: SUBSET_1:11

for E being set
for A being Subset of E holds A \/ ([#] E) = [#] E