Set Builder Notation Discrete Math