Set Laws Discrete Math - Search