who patent definition?