二元关系

• 有序对
  • 笛卡尔积
• 关系运算
• 关系性质
• 闭包
• 等价关系
  • 划分
  • 等价类
  • 商集
• 偏序关系