集合论—等价关系与偏序关系