Let $A$ be a $*$-ring. Let us have some points:

i) We recall that a projection $p$ is a self-adjoint idempotent that is $p=p^*=p^2$.

ii) On the set of projections, we write $p\leq q$ if $pq=p$.

iii) A projection $p$ is called ** strongly finite** if there exist at most finitely many projections $q_1,\cdots,q_n$ with $q_j\leq p$.

iv) For a given $x\in A$, we put $l(x)$ to be the smallest projection with $l(x)x=x$.

Q. Assume that $e$ is an strongly finite projection. Let $p$ be a projection. Is $l(ep)$ an strongly finite projection?

Remark. In this discussion, we assumed $l(x)$ exists for every element $x\in A$. For example $A$ may be assumed a Baer *-ring.