C++实现离散数学的关系类，支持传递闭包运算