theorem :: SUBSET_1:9

for E being set holds [#] E = ({} E) ` ;