/// <summary> /// 二項関係Rが関数かどうか /// 右一意的かつ左全域的 /// 函数関係・一意対応・写像とも言う /// </summary> /// <typeparam name="T"></typeparam> /// <param name="rel">二項関係R</param> /// <returns>関数</returns> public static bool isFunction <T1, T2>(this BinaryRelation <T1, T2> rel) { return(rel.isLeftTotal() && rel.isRightUnique()); }
/// <summary> /// 二項関係Rが対応かどうか /// 左全域的かつ右全域的 /// </summary> /// <typeparam name="T"></typeparam> /// <param name="rel">二項関係R</param> /// <returns>対応</returns> public static bool isCorrespondence <T1, T2>(this BinaryRelation <T1, T2> rel) { return(rel.isLeftTotal() && rel.isRightTotal()); }