unital separable C*-algebra 𝐶 equipped with a coassociatve homomorphism Δ satisfying certain conditions