Grinding, or finishing, the edge of an optical element or lens.