J.H. Michael recently proved that there exists a metric semigroup U such that every compact metric semigroup with property P is topologically isomorphic to a subsemigroup of U; where a semigroup S has property P if and only if for each x, y in S, x ≠ y, there is a z in S such that xs ≠ yz or zx ≠ zy

A stronger result is proved here more simply. It is shown that for any set A of metric semigroups there exists a metric semigroup U such that each S in A is topologically isomorphic to a subsemigroup of U. In particular this is the case when A is the class of all separable metric semigroups, or more particularly the class of all compact metric semigroups.