x1 is the zero(-like)/additive identity of structure/ring x2; often is denoted by ' 0_{R} '
(for structure/ring R, specified by x2) or by '0' when context is obvious

Definition and rules may be specified in the second terbri; this definition does not suppose that the ring is not the 0-ring (the trivial ring) with the mapping of all multiplications to 0 (in which case, the additive identity is also the multiplicative identity). The usage of "additive" and "multiplicative" in this context are defined by the ring. See also: pavysmi

- nonsmitenfa
- x1=t2 is an element in the set that underlies structure/ring x2≈s3 that is nilpotent in that structure with nilpotency x3=t3 (nonnegative integer according to the typical rules)
- pavysmi
- x1 is the one(-like) element/multiplicative identity of structure/ring x2; often is denoted by
' 1
_{R}' or ' I_{R}' or by (when context is obvious) '1' or 'I', for structure/ring R (given by x2).