Some topological spaces may be endowed with a group law. What group operations must occur for group law and topology to integrate well?