a+b in set theory - Search