The mathematical expression {x | x is a day of the week}, uses set theory notation and can be translated as: The set of all x such that x is a day of the week. Since the original set contains all days of the week, therefore it is equivalent to the expression {x | x is a day of the week}.
