The domains of discourse are the sets of all students, courses, buildings, course specializations, & .

Define the predicate functions: STC(st,c) = Student st is taking Course c;

CSP(c,sp) = Course c is in Degree Specialization sp; CIB(c,b) = Course c is held in Building b, and

ENR(c,n) = Course c has n or more students enrolled.

Use the domain of discourse, sets, and predicates above to define the following sets with set-builder notation: (a) T = the set of GMU students who meet the profile that any and all of their CR courses with an enrollment of at least 15 are held in Robinson. (b) T = the set of computer science students all of whose courses either have enrollment below 15 or are not held in a BD building.