any facility that houses or detains individuals who have been formally processed by the criminal or juvenile justice system, for the purpose of reform or rehabilitation. Examples include prisons, juvenile halls, and jails. Also called correctional institution.