Simplifying Set Expressions