# What Does f : ℕ → ℕ mean?

student34

## Homework Statement

It is in some notes that I found online in an attempt to understand something else that I need to know for a math course.

f : ℕ → ℕ

## The Attempt at a Solution

It seems to mean that a function of some natural number will equal some other natural number such as n^2 where n is an element of the naturals. But I am not sure.

Homework Helper

## Homework Statement

It is in some notes that I found online in an attempt to understand something else that I need to know for a math course.

f : ℕ → ℕ

## The Attempt at a Solution

It seems to mean that a function of some natural number will equal some other natural number such as n^2 where n is an element of the naturals. But I am not sure.

Yes, it means f is a function that maps the natural numbers into the natural numbers. f(n)=n^2 is a fine example.

student34
Yes, it means f is a function that maps the natural numbers into the natural numbers. f(n)=n^2 is a fine example.

Thank-you, that is a relief.