identity law in set theory - Search