であるように定義することもできる。