Division ring/Definition

(or skew field), In algebra it is a ring in which every non-zero element is invertible.