Property: division ring

Definition: all nonzero elements are units