In the class of topological algebras of a given signature the notion of totally bounded-
ness and distinct notions of compactness are studied. The general properties of free
topological algebras and compactifications of topological algebras are investigated too.
We discuss some old and new results and open problems.
