形式数学定义

formal mathematical definition