Let be a -comonoid.
A -submodule is said to be a coïdeal iff #m/def/ralg/hopf
Motivation
It may be unclear in what sense the above definition is dual to that of a (two-sided) ideal of a -monoid.
The analogy is made clearer when the defining property of the latter is written