In this paper, we prove that if S is a locally compact semigroup and T a locally compact Borel measurable subsemigroup of S, then T has a topological left invariant mean if and only if there is a topological left T-invariant mean M on S such that M(xT) = 1, where xT is the characteristic functional of T in S.