定義以下のような考察に従って与えられる: