正確な定義は以下に与える: