Property: field

Definition: A commutative division ring