તે ઔપચારિક વ્યાખ્યાયિત કરવામાં આવે છે.