The purpose of this paper is to try formulating a working definition of connection of informal and formal mathematical knowledge. Many researchers have suggested that informal mathematical knowledge should be connected with school mathematics in the process of learning and teaching it. It is because informal mathematical knowledge might play a important role as a cognitive anchor for understanding school mathematics. To implement the connection of them we need to know what the connection means. In this paper, the connection between informal and formal mathematical knowledge refers to the making of relationship between common attributions involved with the two knowledge. To make it clear, it is discussed that informal knowledge consists of two properties of procedures and conceptions as well as formal mathematical knowledge does. Then, it is possible to make a connection of them. Now it is time to make contribution of our efforts to develop appropriate models to connect informal and formal mathematical knowledge.