问答题 设P表示非空集合A的所有划分的集合，证明：P上的细分关系是一个序关系．

问答题 设K是的子集，R为实数集，≤为实数的小于或等于关系．证明u是K的上确界。当且仅当以下两个条件得到满足： （1）对每一个k∈K，k≤u （2）对任意正数ε，存在y∈K，使u-ε≤y.

问答题 设G1与G2均为无向简单图，分别为G1与G2的补图。证明：G1≌G2，当且仅当。