. "element is a member of the set B. Formally," . . .