 a statement of what something is… For example, when one says that {Socrates} is the unique singleton containing Socrates, one is defining what the set is—that is, giving its real definition. Or, equivalently, one is stating its essence or nature… (2014: 577)