定義
A を可換環、 B を A-加群とする。
A-加群としての射 φ: B → B(x)B があるとき、
組 (B, φ) または B を A-余代数(A-coalgebra)という。