preguntar acerca de equivalence-classes

Comment se fait-il que lorsque je change l'ordre des deux ensembles dans les unions ci-dessous, j'obtienne des résultats différents? set1 = {1, 2, 3} set2 = {True, False} print(set1 | set2) # {False, 1, 2, 3} print(set2 | set1) #{False, True, 2, 3 …

pour un algorithme automata, j'ai besoin d'une structure de données Union-Find rapide dans un langage fonctionnel. Comme je dois prouver formellement l'exactitude de la structure des données, je préférerais une structure simple. ce que j'essaie de f …