aggregate - set_theory.png