hyperfinitely generated algebra