A quick definition from the world of wrestling, here on WrestleMania week.