中国宇航局:一组简单的数学基本定义