由同一个上位类区分出来的一组下位类，互称为（）。