What is the procedure called that involves the removal of an animal's horns?

The procedure that involves the removal of an animal's horns is known as dehorning. This is primarily performed in certain livestock species, such as cattle, to prevent injury to other animals and handlers, and to facilitate management. Dehorning helps to reduce the risk of bruising and damage during transportation, as well as to improve safety in the animal's living environment.

Castration pertains to the sterilization of male animals by removing the testicles, which doesn't involve horns. Tail docking involves the amputation of part of an animal's tail, typically for health or management reasons, but again does not relate to horns. Lancing refers to making an incision to drain fluid from a cyst or abscess and is not associated with the removal of horns. Therefore, dehorning is the specific term for the procedure in question, addressing both the anatomical focus and the management practices within animal husbandry.