Square-zero ideal (source code)

= Square-zero ideal

A square-zero ideal is an <ideal> $I$ satisfying $I^2=0$, so every product of two elements of $I$ vanishes.