La estructura debe incluir claramente tanto al espacio topológico así como las nociones estándar del álgebra abstracta.