python离散数学~证明关系的自反性

验证自反性

假设我们要验证集合 {1, 2, 3} 上的关系 R={(1,1), (2,2), (3,3)} 是否具有自反性

def RE(relation, elements):
    # 检查每个元素是否满足自反性
    for element1 in elements:
        if (element1, element1) not in relation:
            return False
    return True

elements_input = input("请输入只包含数字的集合（元素之间用逗号分隔）：")

elements = {int(e) for e in elements_input.split(",")}

#将它转换集合
relation_input = input("请输入关系，例如{(1, 1), (2, 2)}：")

relation = eval(relation_input)

# 将元组列表转换为集合
relation = set(relation)

if RE(relation, elements):
    print("关系具有自反性")
else:
    print("关系不具有自反性")