noZeroDivisors¶

The class of all semirings such that x * y \~~= 0 implies both x and y are non-zero