Set Theory Discrete - Search