set theory formula - Search