Regular element of a ring ($cr=0\text{ or }rc=0⟹r=0$)

A regular element of a ring is a two-sided non-zero-divisor. The two cancellation conditions must both hold in a noncommutative ring. Products of regular elements remain regular.