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