集合二元关系函数基数序数