N82-definizione formale