Given a commutative unital ring $k$ and a coassociative $k$-coalgebra $C = (C,\Delta,\epsilon)$ with comultiplication $\Delta$ and counit $\epsilon\colon C\to k$, a $k$-submodule $I\subseteq C$ is
a left coideal if $\Delta(I)\subseteq I\otimes C$,
a right coideal if $\Delta(I)\subseteq C\otimes I$,
a coideal if $\Delta(I)\subseteq I\otimes C+C\otimes I$ and $\epsilon(I)=0$.
In other words, a left coideal is simply a left subcomodule in $C$ with coaction being the comultiplication and a coideal is a subbicomodule in $C$, where the comultiplication plays simultaneously the roles of left and right $C$-coactions on itself.
If $I\subseteq C$ is a coideal, then the quotient $k$-module $C/I$ is equipped with the canonical structure of a coassociative $k$-coalgebra, the quotient co(al)gebra; the comultiplication is induced via choosing an arbitrary representative in each class, namely
or, in Sweedler notation, $\Delta_{C/I}(c) = \sum (c_{(1)}+I)\otimes (c_{(2)}+I)$ where $\Delta_C(c)= \sum c_{(1)}\otimes c_{(2)}$.