/// <summary> /// 二項関係Rが一対一であるかどうか /// 左一意的かつ右一意的 /// </summary> /// <typeparam name="T"></typeparam> /// <param name="rel">二項関係R</param> /// <returns>一対一</returns> public static bool isOneToOne <T1, T2>(this BinaryRelation <T1, T2> rel) { return(rel.isLeftUnique() && rel.isRightUnique()); }
/// <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()); }