求:真面目に凸の定義