formula for set theory - Search