"forutsetning" er et 12-bokstavers substantiv som brukes som synonym for "betingelsessetningene". betingelsessetningene betyr: En antagelse eller betingelse som må være oppfylt for noe annet.