以下六个关系式(详见补充)是空集中,