set theory simplification