1: \begin{abstract}

2: Given a  a Hopf algebra  $\cH$,   a left coideal subalgebra $\cA\subset \cH$ and a non-zero multiplicative functional $\mu\in\cA'$, we consider the space of  left    $\mu$-integrals $L^\cA_\mu\subset\cA$, where $\Lambda\in L^\cA_\mu$ if $a\Lambda= \mu(a)\Lambda$ for all $a\in\cA$. We observe that $\dim L^\cA_\mu=1$ if $\cA$ is a Frobenius algebra and we  conclude this equality   for finite dimensional left coideal subalgebras of a weakly finite Hopf algebra. In general we prove that if $\dim L^\cA_\mu>0$ then $\dim\cA<\infty$.  Given a group-like element $g\in\cH$ we  consider  the space $L^g_{\cA}\subset\cA'$ of $g$-cointegrals on $\cA$, where $\phi\in L^g_{\cA}$ if $(\id\otimes\phi)(\Delta(a)) = g\phi(a)$ for all $a\in \cA$. We prove that if $\cA$ admits a non-degenerate $\mu$-integral then $\dim L^g_{\cA}\in\{0,1\}$. Linking further both concepts we prove that:

3: \begin{itemize}

4:     \item every semisimple left coideal subalgebra  $\cA\subset \cH$ which is preserved by the antipode squared admits a  faithful $\I$-cointegral;

5:     \item every unimodular finite dimensional left coideal subalgebra $\cA\subset \cH$ admitting a faithful $\I$-cointegral is preserved by the antipode squared;

6:     \item every non-degenerate right group-like projection in a cosemisimple Hopf algebra is a two sided group-like projection.

7: \end{itemize} 

8: Finally we list all $\varepsilon$-integrals for left  coideals subalgebras in Taft algebras and we  list all $g$-cointegrals on them. 

9: \end{abstract}