知道2小于3 但是定义2小于等于3 这个命题正确么