# Property: field

Definition: A commutative division ring

• passes to $eRe$ for any full idempotent $e$