Property: Abelian

Definition: All idempotents are central