podzbiór algebry ogólnej