 Non-zero-divisor

An element $a$ is a non-zero-divisor when multiplication by $a$ is injective, equivalently when $ab=0$ implies $b=0$.