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