これは現在の分類で言うと、a型よりも先にb型を置くことに相当する。