basuppsättning av en algebraisk struktur