You failed to answer the most important question of all. You have to tell us what you want this program to do.
Python is a programming language. It does things. What do you want to do?
You have given us three statements from set theory (and I think at least one of those statements is wrong or incomplete). What are we supposed to do with them?
Are you looking to prove these theorems?
In April, @mdickinson pointed out that Python is not a good language for proving theorems and he suggested you try Lean if you want a theorem prover.
Have you tried Lean? What about Coq?