请列举出数学上的三个定义与三个命题