. "If R is a set of" . . .