Grey mathematics is the mathematical foundation of the grey system theory. Recently, some important results have been achieved. In order to accelerate the development of grey mathematics, the results are summarized and redefined. This paper includes the fundamental definitions and calculation rules of the grey hazy set, grey number, grey matrix and grey function. Grey mathematics includes four types of operation, i.e. the grey operation, the whitened operation, the covered operation and the only potential true operation. According to its intrinsic quality, the covered operation, which differs from the interval one, is called as the whole-proximate calculation that means the proximate calculation spreads through the whole range of the covered set of every grey number, and we confirm that it may be a new branch of computational or applied mathematics. The overview should develop the grey system theory and grey mathematics.
