>>683
型はその条件をいろいろ細かく定義したものだろ。
値域や定義域だって型。