En mathématiques, la cocommutativité est une notion duale de la notion de commutativité.
Soit ( A , Δ ) {\displaystyle (A,\Delta )} une coalgèbre. Pour tout x {\displaystyle x} appartenant à A {\displaystyle A} , on note
La coalgèbre A {\displaystyle A} est dite cocommutative si :