こういった定義となっているようです。