Again, the additional structure, here the manifold structure, has to be compatible, i.e., the maps corresponding to multiplication and the inverse have to be smooth.
Και πάλι, η πρόσθετη δομή, εδώ η δομή πολλαπλή, πρέπει να είναι συμβατή, δηλαδή οι συναρτήσεις που αντιστοιχούν σε πολλαπλασιασμό και η αντίστροφη συνάρτηση πρέπει να είναι λεία.