集合论—关系的运算和性质