Lucha libre is the term used for professional wrestling in Mexico, basically Lucha libre is a form of wrestling. Lucha libre wrestlers are known as a luchador and it is necessary for luchadors to wrestle in the mask.