---
tag: Q8RPY05W0Z
kind: concept
name: Abelian
sources:
  - wikipedia: en:3690584@r1358136878
    locator: List of first-order theories, section Groups
    note: adopted
    mention: wikipedia://en/3690584#KL97
    sections: [Summary]
inventory: [1S2PZGV8C5]
---

## Summary

- **[[Abelian|071DDFVG4J]]**: ∀*x* ∀*y* *xy* = *yx*.