"formell definisjon" er et 18-bokstavers substantiv som brukes som synonym for "objektsspråk". objektsspråk betyr: Definisjon gitt med formelle regler.