上で定義した重線型代数の楔積は上に定義され、余代数の構造を定める余積の双対である.
余積