问答题设R，S 都是非空集合A 上的二元关系，且他们是对称的，证明：RoS 具有对称性当且仅当RoS=SoR。
问答题设A，B 为两个集合，证明A—B=A 当且仅当A∩B=∅。
问答题设非空集合A，验证（P（A），∪，∩，~，∅，A）是布尔代数。
问答题证明如果非空集合A 上的二元关系R 和S 是偏序关系，则R∩S也是A上的偏序关系。
问答题给定代数系统（G，+，*），二元运算见表一，表二：证明（G，+，*）是域。
