The theory of procepts was developed by Gray and Tall. The name ‘procept’ has its origin from the dual role as process and concept most mathematical symbols have. For example, a symbol such as 3+2 can be seen both as a process of addition and a concept of sum. The notion of procept is present throughout mathematics. Gray and Tall noted the peculiar case of the concept of Limit where the potentially infinite process of computing a limit may not have a finite algorithm at all. In this case a procept may exist which has both a process (tending to a limit value) and a concept (of limit), yet there is no procedure to compute the desired result. Many concepts of mathematics still need further investigations in the framework of the theory of procepts and they will be in the focus of our consideration.