ALGEBRAIC FIELD
Definition
An object is and <ALGEBRAIC FIELD> if and only if: it is an <INTEGRAL DOMAIN> (S, +, *, 0, 1); the additive identity 0 and the multiplicative identity 1 are different elements of S; there is a multiplicative inverse for each element of S except the additive identity 0, that complies with: for each a in S except 0, there exists an element b such that a * b = b * a = 1