凸型とは何かを考える。
わかりやすく言えば、凹んでないことだ。