Definition:Natural Numbers in Real Numbers