一給出的定義