O bikompaktných totálne nekomutatívnych pologrupách
We prove that the Wyler completion of the unitary Cauchy space on a given Hausdorff topological 5 monoid consisting of the underlying set of this monoid and of the family of unitary Cauchy filters on it, is a T2-topological space and, in the commutative case, an abstract monoid containing the initial one.