for E being set
for n being Nat holds {(<%> E)} |^ n = {(<%> E)}