A formal procession is a type of PARADE, which is an organized event consisting of people walking or marching in a line. It usually involves a large number of people and is often accompanied by music, floats, and other decorations. Formal processions are often used to celebrate special occasions such as holidays, graduations, or anniversaries. They can also be used to honor important people or commemorate significant events.