In this article, we introduce notions which are called property (c*) and property (M 3*) for semitopological groups. We show that if G is a regular semitopological group with a q-point, property (c*) and Sm(G) ≤ ω, then G is topologically isomorphic to a subgroup of the product of a family of first-countable M 1-semitopological groups (Nagata semitopological groups). In the third part of this article, we give an internal characterization of subgroups of product of firstcountable M 1-semitopological groups. A semitopological (paratopological) group G is topologically isomorphic to a subgroup of the product of a family of first-countable M 1-semitopological (paratopological) groups if and only if G satisfies the T 0 separation axiom and has property (M 3*).