SymPyでいいよ。
http://docs.sympy.org/latest/modules/sets.html