/// <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());
}
