离散数学中的集合论里的关系有几种?怎么判定?