1. Алгебраїчна структура в абстрактній алгебрі, яка одночасно є алгеброю та коалгеброю над полем K, причому операції множення та одиниці алгебри є гомоморфізмами коалгебр, а операції комноження та коодиниці коалгебри є гомоморфізмами алгебр.
2. У більш загальному сенсі — об’єкт категорії векторних просторів, що поєднує сумісну структуру алгебри (з операціями множення та одиничного елемента) і коалгебри (з операціями комноження та коодиниці), пов’язаних аксіомами узгодженості.