DM.SNT.1.c: Describe a set using set-builder notation.