There is also a practical, algorithmic question to consider: how to pass from a given object s in S to its canonical form s*?
Jest też do rozważenia problem algorytmiczny - jak przejść od danego obiektu s należącego do S do postaci kanonicznej s?