 Statements of what something is—of a thing’s essence or nature—could take a variety of forms. One says what it is to be that thing; the real definition of x might be put: to be x is to be y. Or the real definition of a category F: to be an F is to be a G. When one says, “To be a bachelor is to be an unmarried male”, one is giving the real definition of bachelorhood.