odwzorowanie jednego systemu algebraicznego w inny system tego samego typu, zachowujące działania