不定项选择
设
是X上二元关系的一个无穷序列，当每个关系
是对称关系时，
也是对称关系。