このような定義があるようです。