Remark: No automatic duality

Local commutativity gives

for disjoint $I,J$. It does not give equality. We never replace membership in $\mathfrak{A}(I)$ by commutation with a declared exterior algebra unless such an equality has been proved.