ઔપચારિકરણ પ્રક્રિયામાં, આ વિચારને સામાન્ય રીતે લાગુ પાડી શકાય તેવા ગાણિતિક સમીકરણ તરીકે વ્યક્ત કરી શકાય છે.