判断一个二元关系是否是函数，需要满足以下条件：
对于集合A中的任意一个元素x，都存在集合B中的一个元素y，使得(x,y)属于二元关系R；
对于集合A中的任意一个元素x，如果(x,y1)和(x,y2)都属于二元关系R，则y1=y2。
如果一个二元关系是函数，那么它可能具有以下性质：
单射：对于集合B中的任意两个不同的元素y1和y2，如果(y1,x1)和(y2,x2)都属于二元关系R，则x1不等于x2；
满射：对于集合B中的任意一个元素y，都存在集合A中的一个元素x，使得(x,y)属于二元关系R；
双射：既是单射又是满射。
第一个搜索结果1还提供了一段用C语言编写的代码来实现这些判断。你可以参考一下。