for i being Nat holds Del ({},i) = {}