Property: domain

Definition: No nonzero zero divisors

Metaproperties

This property does not have the following metaproperties