コード例 #1
0
 /// <summary>
 /// 自己関係Rが関数かどうか
 /// 右一意的かつ左全域的
 /// 函数関係・一意対応・写像とも言う
 /// </summary>
 /// <typeparam name="T"></typeparam>
 /// <param name="rel">自己関係R</param>
 /// <returns>関数</returns>
 public static bool isFunction <T>(this EndoRelation <T> rel)
 {
     return(rel.isLeftTotal() && rel.isRightUnique());
 }
コード例 #2
0
 /// <summary>
 /// 自己関係Rが対応かどうか
 /// 左全域的かつ右全域的
 /// </summary>
 /// <typeparam name="T"></typeparam>
 /// <param name="rel">自己関係R</param>
 /// <returns>対応</returns>
 public static bool isCorrespondence <T>(this EndoRelation <T> rel)
 {
     return(rel.isLeftTotal() && rel.isRightTotal());
 }