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

Let structure x3 have commutative group substructure that we name as "additive" and let "0" denote the additive identity thereof in the structure x3. In the set underlying x3 there exist elements x1, x2 ≠ 0 in structure x3 such that x1*x2 = 0 in structure x3; the partnership aforementioned is thusly defined. See also: nonsmipi'i.