"is defined by"