>>327
杉浦や内田も順序対はその定義を使っているよね