このことは、以下の定義の動機付けになっている。