と定義されることもある。