nonsmipi'i lujvo

x1 is a zero-divisor partnered with element(s) x2 in structure/ring x3

x1 and x2 are elements of the set underlying x3 and x1*x2=0 in this structure x3 (where "0" denotes the 'additive' identity of the structure ("addition" merely being (one of) its commutative group operation(s))); the aforementioned partnership is so defined. Unlike many textbook definitions, this definition still allows such 0 to itself be a zero-divisor ((so partnered) with any element in the set underlying x3) in x3. See also: narnonsmikemnonsmipi'i


In notes:

narnonsmikemnonsmipi'i
x1 is a zero-divisor partnered with element(s) x2 in structure/ring x3, where neither x1 nor x2 is the zero(-like) element in x3